@inproceedings{FleyshgakkerWeiss-issta1994,
 author = {Fleyshgakker, Vladimir N. and Weiss, Stewart N.},
 title = {Efficient mutation analysis: a new approach},
 booktitle = {Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis},
 series = {ISSTA '94},
 year = {1994},
 isbn = {0-89791-683-2},
 location = {Seattle, Washington, United States},
 pages = {185--195},
 numpages = {11},
 acmid = {187179},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{gvero-etal-icse2008,
  author    = {Tihomir Gvero and
               Milos Gligoric and
               Steven Lauterburg and
               Marcelo d'Amorim and
               Darko Marinov and
               Sarfraz Khurshid},
  title     = {State extensions for java pathfinder},
  booktitle = {ICSE},
  year      = {2008},
  pages     = {863-866}
}

@article{dAmorimLM08,
  author    = {Marcelo d'Amorim and
               Steven Lauterburg and
               Darko Marinov},
  title     = {Delta Execution for Efficient State-Space Exploration of
               Object-Oriented Programs},
  journal   = {IEEE Transactions on Software Engineering},
  volume    = {34},
  number    = {5},
  year      = {2008},
  pages     = {597-613},
  ee        = {http://dx.doi.org/10.1109/TSE.2008.37},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{offut-etal-1994,
 author = {Offutt, A. J. and Lee, S. D.},
 title = {An Empirical Evaluation of Weak Mutation},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {20},
 number = {5},
 year = {1994},
 issn = {0098-5589},
 pages = {337--344},
 doi = {http://dx.doi.org/10.1109/32.286422},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }


@inproceedings{brian-marick-1991,
 author = {Brian Marick},
 title = {The weak mutation hypothesis},
 booktitle = {TAV4: Proceedings of the symposium on Testing, analysis, and verification},
 year = {1991},
 isbn = {0-89791-449-X},
 pages = {190--199},
 location = {Victoria, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/120807.120825},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@article{jia-harman-2009,
 author = {Jia, Yue and Harman, Mark},
 title = {Higher Order Mutation Testing},
 journal = {Inf. Softw. Technol.},
 volume = {51},
 number = {10},
 year = {2009},
 issn = {0950-5849},
 pages = {1379--1393},
 doi = {http://dx.doi.org/10.1016/j.infsof.2009.04.016},
 publisher = {Butterworth-Heinemann},
 address = {Newton, MA, USA},
 }

@article{macario-etal-2009,
 author = {Polo, Macario and Piattini, Mario and Garc\'{\i}a-Rodr\'{\i}guez, Ignacio},
 title = {Decreasing the cost of mutation testing with second-order mutants},
 journal = {Softw. Test. Verif. Reliab.},
 volume = {19},
 number = {2},
 year = {2009},
 issn = {0960-0833},
 pages = {111--131},
 doi = {http://dx.doi.org/10.1002/stvr.v19:2},
 publisher = {John Wiley and Sons Ltd.},
 address = {Chichester, UK},
 }


@article{yu-seung-ma-etal-2005,
  author    = {Yu-Seung Ma and
               Jeff Offutt and
               Yong Rae Kwon},
  title     = {MuJava: an automated class mutation system},
  journal   = {Software Testing, Verification and Reliability},
  volume    = {15},
  number    = {2},
  year      = {2005},
  pages     = {97-133},
  ee        = {http://dx.doi.org/10.1002/stvr.308},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{fleyshgakker-etal-1994,
 author = {Fleyshgakker, Vladimir N. and Weiss, Stewart N.},
 title = {Efficient mutation analysis: a new approach},
 booktitle = {ISSTA '94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis},
 year = {1994},
 isbn = {0-89791-683-2},
 pages = {185--195},
 location = {Seattle, Washington, United States},
 doi = {http://doi.acm.org/10.1145/186258.187179},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@article{offut-etal-1996,
 author = {Offutt, A. Jefferson and Lee, Ammei and Rothermel, Gregg and Untch, Roland H. and Zapf, Christian},
 title = {An experimental determination of sufficient mutant operators},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {5},
 number = {2},
 year = {1996},
 issn = {1049-331X},
 pages = {99--118},
 doi = {http://doi.acm.org/10.1145/227607.227610},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{millo-etal-1988,
 author = {R. A. De Millo and Dany Guindi and Kim King and Mike M. McCracken and and Jeff Offutt},
 title = {Mutation analysis using mutant schemata},
 booktitle = {Second Workshop on Software Testing, Verification, and Analysis},
 year = {1988},
 pages = {142--151},
 location = {Banff, Canada}
 }

@article{usaola-mateo-ieeesoftware2010,
author = {Macario Polo Usaola and Pedro Reales Mateo},
title = {Mutation Testing Cost Reduction Techniques: A Survey},
journal ={IEEE Software},
volume = {27},
issn = {0740-7459},
year = {2010},
pages = {80-86},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2010.79},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@article{Wong1995185,
title = "Reducing the cost of mutation testing: An empirical study",
journal = "Journal of Systems and Software",
volume = "31",
number = "3",
pages = "185 - 196",
year = "1995",
note = "",
issn = "0164-1212",
doi = "DOI: 10.1016/0164-1212(94)00098-0",
url = "http://www.sciencedirect.com/science/article/B6V0N-404RP10-2/2/bdde2ce8f3387a05b06ada22d5d16703",
author = "W. Eric Wong and Aditya P. Mathur"
}


@inproceedings{untch-offut-harrold-1993,
 author = {Untch, Roland H. and Offutt, A. Jefferson and Harrold, Mary Jean},
 title = {Mutation analysis using mutant schemata},
 booktitle = {ISSTA '93: Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis},
 year = {1993},
 isbn = {0-89791-608-5},
 pages = {139--148},
 location = {Cambridge, Massachusetts, United States},
 doi = {http://doi.acm.org/10.1145/154183.154265},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{schuler-zeller-fse-2009,
 author = {Schuler, David and Zeller, Andreas},
 title = {Javalanche: efficient mutation testing for Java},
 booktitle = {ESEC/FSE '09\Comment{: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium}},
 year = {2009},
 isbn = {978-1-60558-001-2},
 pages = {297--298},
 location = {Amsterdam, The Netherlands},
 doi = {http://doi.acm.org/10.1145/1595696.1595750},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{schuler-issta-2009,
    title = "Efficient Mutation Testing by Checking Invariant Violations",
    author = "David Schuler and Valentin Dallmeier and Andreas Zeller",
    year = "2009",
    month = "July",
    booktitle= {ISSTA'09}
}

@inproceedings{orso-etal-fse2004,
 author = {Orso, Alessandro and Shi, Nanjuan and Harrold, Mary Jean},
 title = {Scaling regression testing to large software systems},
 booktitle = {SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering},
 year = {2004},
 isbn = {1-58113-855-5},
 pages = {241--251},
 location = {Newport Beach, CA, USA},
 doi = {http://doi.acm.org/10.1145/1029894.1029928},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{brett-fse2007,
 author = {Daniel, Brett and Dig, Danny and Garcia, Kely and Marinov, Darko},
 title = {Automated testing of refactoring engines},
 booktitle = {ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering},
 year = {2007},
 isbn = {978-1-59593-811-4},
 pages = {185--194},
 location = {Dubrovnik, Croatia},
 doi = {http://doi.acm.org/10.1145/1287624.1287651},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{weissgerber-etal-2006,
 author = {Weissgerber, Peter and Diehl, Stephan},
 title = {Identifying Refactorings from Source-Code Changes},
 booktitle = {ASE '06: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering},
 year = {2006},
 isbn = {0-7695-2579-2},
 pages = {231--240},
 doi = {http://dx.doi.org/10.1109/ASE.2006.41},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }


@inproceedings{miryung-etal-2007,
 author = {Kim, Miryung and Notkin, David and Grossman, Dan},
 title = {Automatic Inference of Structural Changes for Matching across Program Versions},
 booktitle = {ICSE '07: Proceedings of the 29th international conference on Software Engineering},
 year = {2007},
 isbn = {0-7695-2828-7},
 pages = {333--343},
 doi = {http://dx.doi.org/10.1109/ICSE.2007.20},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }
,

@inproceedings{dannydig-etal-2006,
  author    = {Danny Dig and
               Can Comertoglu and
               Darko Marinov and
               Ralph Johnson},
  title     = {Automated Detection of Refactorings in Evolving Components},
  booktitle = {ECOOP},
  year      = {2006},
  pages     = {404-428}
}


@inproceedings{baah-etal-issta2008,
 author = {Baah, George K. and Podgurski, Andy and Harrold, Mary Jean},
 title = {The probabilistic program dependence graph and its application to fault diagnosis},
 booktitle = {ISSTA '08: Proceedings of the 2008 international symposium on Software testing and analysis},
 year = {2008},
 isbn = {978-1-60558-050-0},
 pages = {189--200},
 location = {Seattle, WA, USA},
 doi = {http://doi.acm.org/10.1145/1390630.1390654},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@article{renieris-ase2003,
author = {Manos Renieris and Steven P. Reiss},
title = {Fault Localization With Nearest Neighbor Queries},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
issn = {1527-1366},
year = {2003},
pages = {30},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2003.1240292},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}


@inproceedings{liblit-etal-pldi2005,
 author = {Liblit, Ben and Naik, Mayur and Zheng, Alice X. and Aiken, Alex and Jordan, Michael I.},
 title = {Scalable statistical bug isolation},
 booktitle = {PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation},
 year = {2005},
 isbn = {1-59593-056-6},
 pages = {15--26},
 location = {Chicago, IL, USA},
 doi = {http://doi.acm.org/10.1145/1065010.1065014},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{jjones-etal-ase2005,
 author = {Jones, James A. and Harrold, Mary Jean},
 title = {Empirical evaluation of the tarantula automatic fault-localization technique},
 booktitle = {ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering},
 year = {2005},
 isbn = {1-59593-993-4},
 pages = {273--282},
 location = {Long Beach, CA, USA},
 doi = {http://doi.acm.org/10.1145/1101908.1101949},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{abreu-etal-taicpart2007,
 author = {Abreu, Rui and Zoeteweij, Peter and van Gemund, Arjan J. C.},
 title = {On the Accuracy of Spectrum-based Fault Localization},
 booktitle = {TAICPART-MUTATION '07: Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION},
 year = {2007},
 isbn = {0-7695-2984-4},
 pages = {89--98},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }


@inproceedings{santelices-etal-icse2009,
  author    = {Ra{\'u}l A. Santelices and
               James A. Jones and
               Yanbing Yu and
               Mary Jean Harrold},
  title     = {Lightweight fault-localization using multiple coverage types},
  booktitle = {ICSE},
  year      = {2009},
  pages     = {56-66},
  ee        = {http://dx.doi.org/10.1109/ICSE.2009.5070508}
}


@book{witten-frank-2005,
 author = {Ian Witten and Eibe Frank},
 title = {Data Mining: Practical Machine Learning Tools and Techniques},
 year = {2005},
 isbn = {0-12-088407-0},
 publisher = {Morgan Kaufmann}
 }


@inproceedings{kuhn-etal-2008,
  author    = {Adrian Kuhn and
               Bart Van Rompaey and
               Lea Haensenberger and
               Oscar Nierstrasz and
               Serge Demeyer and
               Markus G{\"a}lli and
               Koenraad Van Leemput},
  title     = {JExample: Exploiting Dependencies between Tests to Improve
               Defect Localization},
  booktitle = {XP},
  year      = {2008},
  pages     = {73-82},
  ee        = {http://dx.doi.org/10.1007/978-3-540-68255-4_8},
}

@inproceedings{jones-etal-2007,
 author = {James Jones and James Bowring and Mary Jean Harrold},
 title = {Debugging in Parallel},
 booktitle = {ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis},
 year = {2007},
 isbn = {978-1-59593-734-6},
 pages = {16--26},
 location = {London, United Kingdom},
 doi = {http://doi.acm.org/10.1145/1273463.1273468},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{dallmeier-etal-2005,
  author    = {Valentin Dallmeier and
               Christian Lindig and
               Andreas Zeller},
  title     = {Lightweight Defect Localization for {Java}},
  booktitle = {ECOOP},
  year      = {2005},
  pages     = {528-550},
  ee        = {http://dx.doi.org/10.1007/11531142_23},
}

@article{boehm-2001,
 author = {Boehm, Barry and Basili, Victor R.},
 title = {Software Defect Reduction Top 10 List},
 journal = {Computer},
 volume = {34},
 number = {1},
 year = {2001},
 issn = {0018-9162},
 pages = {135--137},
 doi = {http://dx.doi.org/10.1109/2.962984},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@Article{weiss-1979,
 author =      "David Weiss",
 journal =     "Journal of Systems and Software",
 month =       June,
 number =      "2",
 volume =      "1",
 pages =       "57-70",
 title =       "Evaluating Software Development by Error Analysis: The Data from the Architecture Research Facility",
 year =        "1979"
}

@article{ostrand-etal-1984,
 author = {Ostrand, Thomas J. and Weyuker, Elaine J.},
 title = {Collecting and categorizing software error data in an industrial environment},
 journal = {J. Syst. Softw.},
 volume = {4},
 number = {4},
 year = {1984},
 issn = {0164-1212},
 pages = {289--300},
 doi = {http://dx.doi.org/10.1016/0164-1212(84)90028-1},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA},
 }



@inproceedings{zheng-icml2006,
 author = {Zheng, Alice X. and Jordan, Michael I. and Liblit, Ben and Naik, Mayur and Aiken, Alex},
 title = {Statistical debugging: Simultaneous identification of multiple bugs},
 booktitle = {ICML '06: Proceedings of the 23rd international conference on Machine learning},
 year = {2006},
 isbn = {1-59593-383-2},
 pages = {1105--1112},
 location = {Pittsburgh, Pennsylvania},
 doi = {http://doi.acm.org/10.1145/1143844.1143983},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@InProceedings{cleve-icse2005,
 title =       "Locating causes of program failures",
 author =      "Holger Cleve and Andreas Zeller",
 booktitle =   "ICSE",
 booktitle =   "27th International Conference on Software Engineering
                ({ICSE} 2005)",
 publisher =   "ACM",
 year =        "2005",
 editor =      "Gruia-Catalin Roman and William G. Griswold and Bashar
                Nuseibeh",
 pages =       "342--351"
}

@Article{zeller-tse2002,
 author =      "Andreas Zeller and Ralf Hildebrandt",
 journal =     "IEEE Transactions on Software Engineering",
 month =       feb,
 number =      "2",
 pages =       "183--200",
 title =       "Simplifying and Isolating Failure-Inducing Input",
 volume =      "SE-28",
 year =        "2002"
}

@inproceedings{ness-compsac-97,
author = {Brian Ness and Viet Ngo},
title = {Regression Containment through Source Change Isolation},
booktitle = {COMPSAC '97: Proceedings of the 21st International Computer Software and Applications Conference},
year = {1997},
isbn = {0-8186-8105-5},
pages = {616-621},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}

@article{wang-toplas-2008,
 author = {Tao Wang and Abhik Roychoudhury},
 title = {Dynamic slicing on Java bytecode traces},
 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume = {30},
 number = {2},
 year = {2008},
 issn = {0164-0925},
 pages = {1--49},
 doi = {http://doi.acm.org/10.1145/1330017.1330021},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{groce-icse07,
 author = {Alex Groce and Gerard Holzmann and Rajeev Joshi},
 title = {Randomized Differential Testing as a Prelude to Formal Verification},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2007},
 isbn = {0-7695-2828-7},
 pages = {621--631},
 doi = {http://dx.doi.org/10.1109/ICSE.2007.68},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{evans-fse07,
 author = {Robert B. Evans and Alberto Savoia},
 title = {Differential testing: a new approach to change detection},
 booktitle = {Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE)},
 year = {2007},
 isbn = {978-1-59593-811-4},
 pages = {549--552},
 location = {Dubrovnik, Croatia},
 doi = {http://doi.acm.org/10.1145/1287624.1287707},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@ARTICLE{xie05:checking,
    author = {Tao Xie and David Notkin},
    title = {Checking Inside the Black Box: Regression Testing By Comparing Value Spectra},
    journal = {IEEE Transactions on Software Engineering (TSE)},
    year = {2005},
    volume = {31},
    number = {10},
    month = {October},
    pages = {869--883},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/tse-icsm04-spectra.pdf},
}

@inproceedings{delta-debugging-eclipse,
author = {Philipp Bouillon and Martin Burger and Andreas Zeller},
title = {Automated debugging in Eclipse: (at the touch of not even a button)},
booktitle = {Proceedings of the OOPSLA workshop on eclipse technology eXchange},
year = {2003},
pages = {1--5},
location = {Anaheim, California},
doi = {http://doi.acm.org/10.1145/965660.965661},
publisher = {ACM},
address = {New York, NY, USA},
}


@book{experimentation-se-2000,
 author = {Claes Wohlin and Per Runeso and Martin Host and Magnus C. Ohlsson and Bjorn Regnell and Anders Wesslen},
 title = {Experimentation in Software Engineering: An Introduction},
 year = {2000},
 isbn = {978-0-7923-8682-7},
 publisher = {Springer}
 }


@book{zeller-debugging,
 author = {Andreas Zeller},
 title = {Why Programs Fail: A Guide to Systematic Debugging},
 year = {2005},
 isbn = {978-1558608665},
 publisher = {Morgan Kaufmann}
 }


@article{zhang-gupta-FSE05,
 author = {Xiangyu Zhang and Rajiv Gupta},
 title = {Matching execution histories of program versions},
 journal = {SIGSOFT Software Engineering Notes},
 volume = {30},
 number = {5},
 year = {2005},
 issn = {0163-5948},
 pages = {197--206},
 doi = {http://doi.acm.org/10.1145/1095430.1081738},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@ARTICLE{gupta-zhang-madou-sutter-icsm07,
title={Matching Control Flow of Program Versions},
author={Nagarajan, V. and Gupta, R. and Xiangyu Zhang and Madou, M. and De Sutter, B.},
journal={IEEE International Conference on Software Maintenance (ICSM)},
year={2-5 Oct. 2007},
volume={},
number={},
pages={84-93},
keywords={computer crime, program debugging, software maintenance, aggressive control flow transformations, call graph, comprehensive dynamic matching algorithm, matching control flow, piracy detection, program versions, software debugging, software maintenance},
doi={10.1109/ICSM.2007.4362621},
ISSN={1063-6773}, }

@inproceedings{ramanathan-grama-jagannathan-ase06,
 author = {Murali Krishna Ramanathan and Ananth Grama and Suresh Jagannathan},
 title = {Sieve: A Tool for Automatically Detecting Variations Across Program Versions},
 booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE)},
 year = {2006},
 isbn = {0-7695-2579-2},
 pages = {241--252},
 doi = {http://dx.doi.org/10.1109/ASE.2006.61},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{ren-ryder-stoerzer-tip-icse05,
 author = {Xiaoxia Ren and Barbara G. Ryder and Maximilian Stoerzer and Frank Tip},
 title = {Chianti: A change impact analysis tool for {Java} programs},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2005},
 isbn = {1-59593-963-2},
 pages = {664--665},
 location = {St. Louis, MO, USA},
 doi = {http://doi.acm.org/10.1145/1062455.1062598},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{saff-ernst-04,
 author = {David Saff and Michael D. Ernst},
 title = {An experimental evaluation of continuous testing during development},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2004},
 isbn = {1-58113-820-2},
 pages = {76--85},
 location = {Boston, Massachusetts, USA},
 doi = {http://doi.acm.org/10.1145/1007512.1007523},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@proceedings{ball-2006-dagstuhl,
  editor    = {Thomas Ball and
               Stephan Diehl and
               David Notkin and
               Andreas Zeller},
  title     = {Multi-Version Program Analysis, 26. June - 1. July 2005},
  booktitle = {Multi-Version Program Analysis},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r
               Informatik (IBFI), Schloss Dagstuhl, Germany},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {05261},
  year      = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{kim2006,
 author = {Miryung Kim and David Notkin},
 title = {Program element matching for multi-version program analyses},
 booktitle = {Proceedings of the 2006 international workshop on Mining software repositories},
 year = {2006},
 isbn = {1-59593-397-2},
 pages = {58--64},
 location = {Shanghai, China},
 doi = {http://doi.acm.org/10.1145/1137983.1137999},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{distilling-2007,
author = {Beat Fluri and Michael Wuersch and Martin PInzger and Harald Gall},
title = {Change Distilling:Tree Differencing for Fine-Grained Source Code Change Extraction},
journal = {IEEE Transactions on Software Engineering},
volume = {33},
number = {11},
year = {2007},
issn = {0098-5589},
pages = {725-743},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70731},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@INPROCEEDINGS{harald-cav-2004,
AUTHOR = {Harald Ganzinger and George Hagen and Robert Nieuwenhuis and Albert Oliveras and Cesare Tinelli},
EDITOR = {Alur, Rajeev and Peled, Doron},
TITLE = {{DPLL(T)}: Fast Decision Procedures},
BOOKTITLE = {Computer aided verification : 16th International Conference, CAV 2004},
PUBLISHER = {Springer},
YEAR = {2004},
VOLUME = {3114},
PAGES = {175--188},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Boston, Massachusetts},
ISBN = {3-540-22342-8},
}

@InCollection\{benhamou-2006,
  author       = "Frederic Benhamou and Laurent Granvilliers",
  title        = "Continuous and Interval Constraints",
  booktitle    = "Handbook of Constraint Programming",
  chapter      = "16",
  series       = "Foundations of Artificial Intelligence",
  year         = "2006",
  editor       = "Rossi, Francesca and {van Beek}, Peter and Walsh, Toby",
  publisher    = "Elsevier Science Publishers",
  address      = "Amsterdam, The Netherlands",
  url          = "http://www.lina.sciences.univ-nantes.fr/Publications/2006/BG06"
}


@inproceedings{bozzano05sebastiani_lal,
author = {Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi Junttila and Peter van Rossum and Stephan Schulz and Roberto Sebastiani},
booktitle = {TACAS},
citeulike-article-id = {565802},
keywords = {lal, mathsat},
pages = {317--333},
priority = {0},
title = {An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.},
year = {2005}
}

@article{franzle-jsat-2007,
 author = {Martin Franzle and Cristian Herde and Tino Teige and Stefan Ratschan and Tobias Schubert},
 title = {Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure},
 journal = {Journal on Satisfiability, Boolean Modeling and Computation},
 volume = {1},
 number = {?},
 year = {2007},
 issn = {},
 pages = {209--236},
 doi = {},
 publisher = {},
 address = {},
 }

@inproceedings{bauer-date-2007,
 author = {Andreas Bauer and Markus Pister and Michael Tautschnig},
 title = {Tool-support for the analysis of hybrid systems and models},
 booktitle = {DATE '07: Proceedings of the conference on Design, automation and test in Europe},
 year = {2007},
 isbn = {978-3-9810801-2-4},
 pages = {924--929},
 location = {Nice, France},
 publisher = {EDA Consortium},
 address = {San Jose, CA, USA},
 }

@inproceedings{sen:icse2007,
 author = {Rupak Majumdar and Koushik Sen},
 title = {Hybrid Concolic Testing},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2007},
 isbn = {0-7695-2828-7},
 pages = {416--426},
 doi = {http://dx.doi.org/10.1109/ICSE.2007.41},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }


%% added during thesis writing
@article{davis:cacam1962,
 author = {Martin Davis and George Logemann and Donald Loveland},
 title = {A machine program for theorem-proving},
 journal = {Communications of ACM},
 volume = {5},
 number = {7},
 year = {1962},
 issn = {0001-0782},
 pages = {394--397},
 doi = {http://doi.acm.org/10.1145/368273.368557},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{sen:cav2006,
  author    = {Koushik Sen and
               Gul Agha},
  title     = {{CUTE} and {jCUTE}: Concolic Unit Testing and Explicit Path
               Model-Checking Tools},
  booktitle = {CAV},
  year      = {2006},
  pages     = {419-423}
}

%%ee        = {http://dx.doi.org/10.1007/11817963_38},
%%crossref  = {DBLP:conf/cav/2006},
%%bibsource = {DBLP, http://dblp.uni-trier.de}


@inproceedings{pacheco:icse2007,
 author = {Carlos Pacheco and Shuvendu K. Lahiri and Michael D. Ernst and Thomas Ball},
 title = {Feedback-Directed Random Test Generation},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2007},
 isbn = {0-7695-2828-7},
 pages = {75--84},
 doi = {http://dx.doi.org/10.1109/ICSE.2007.37},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{damorim:issta2007,
 author = {Marcelo d'Amorim and Steven Lauterburg and Darko Marinov},
 title = {Delta execution for efficient state-space exploration of object-oriented programs},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2007},
 isbn = {978-1-59593-734-6},
 pages = {50--60},
 location = {London, United Kingdom},
 doi = {http://doi.acm.org/10.1145/1273463.1273472},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{valmari:por-90,
 author = {Antti Valmari},
 title = {A Stubborn Attack On State Explosion},
 booktitle = {Proceedings of the International Workshop on Computer Aided Verification},
 year = {1991},
 isbn = {3-540-54477-1},
 pages = {156--165},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{cousot-cousot77-1,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Abstract interpretation: a unified lattice model for static 
                analysis of programs by construction or approximation of 
                fixpoints},
   pages =     {238--252},
   booktitle = {Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT 
                Symposium on Principles of Programming Languages},
   address =   {Los Angeles, California},
   publisher = {ACM Press, New York, NY},
   year =      1977,
}

@inproceedings{katz:por-1989,
 author = {Shmuel Katz and Doron Peled},
 title = {An efficient verification method for parallel and distributed programs},
 booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop},
 year = {1989},
 isbn = {3-540-51080-X},
 pages = {489--507},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }



@article{german:por-1992,
 author = {Steven M. German and A. Prasad Sistla},
 title = {Reasoning about systems with many processes},
 journal = {Journal of the ACM},
 volume = {39},
 number = {3},
 year = {1992},
 issn = {0004-5411},
 pages = {675--735},
 doi = {http://doi.acm.org/10.1145/146637.146681},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@article{huber:symmetry-petri-nets-1984,
 author = {P. Huber and A. M. Jensen and L. O. Jepsen and K. Jensen},
 title = {Towards reachability trees for high-level Petri nets},
 book = {Advances in Petri Nets},
 year = {1985},
 isbn = {0-387-15204-0},
 pages = {215--233},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@article{clarke:symmetry-1996,
 author = {E. M. Clarke and R. Enders and T. Filkorn and S. Jha},
 title = {Exploiting symmetry in temporal logic model checking},
 journal = {Form. Methods Syst. Des.},
 volume = {9},
 number = {1-2},
 year = {1996},
 issn = {0925-9856},
 pages = {77--104},
 doi = {http://dx.doi.org/10.1007/BF00625969},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@article{ip:symmetry-1996,
 author = {C. Norris Ip and David L. Dill},
 title = {Better verification through symmetry},
 journal = {Formal Methods in System Design},
 volume = {9},
 number = {1-2},
 year = {1996},
 issn = {0925-9856},
 pages = {41--75},
 doi = {http://dx.doi.org/10.1007/BF00625968},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@article{emerson:symmetry-1996,
 author = {E. Allen Emerson and A. Prasad Sistla},
 title = {Symmetry and model checking},
 journal = {Formal Methods in System Design},
 volume = {9},
 number = {1-2},
 year = {1996},
 issn = {0925-9856},
 pages = {105--131},
 doi = {http://dx.doi.org/10.1007/BF00625970},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@article{dijkstra:dphilosophers-1971,
  author    = {Edsger W. Dijkstra},
  title     = {Hierarchical Ordering of Sequential Processes},
  journal   = {Acta Informatica},
  volume    = {1},
  year      = {1971},
  pages     = {115-138},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{hatcliff:slicing-journal-2000,
 author = {John Hatcliff and Matthew B. Dwyer and Hongjun Zheng},
 title = {Slicing Software for Model Construction},
 journal = {Higher Order and Symbolic Computation},
 volume = {13},
 number = {4},
 year = {2000},
 issn = {1388-3690},
 pages = {315--353},
 doi = {http://dx.doi.org/10.1023/A:1026599015809},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@inproceedings{boyapati:oopsla2002,
 author = {Chandrasekhar Boyapati and Robert Lee and Martin Rinard},
 title = {Ownership types for safe programming: preventing data races and deadlocks},
 booktitle = {Proceedings of the ACM SIGPLAN Sonference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
 year = {2002},
 isbn = {1-58113-471-1},
 pages = {211--230},
 location = {Seattle, Washington, USA},
 doi = {http://doi.acm.org/10.1145/582419.582440},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{flanagan:pldi2003,
 author = {Cormac Flanagan and Shaz Qadeer},
 title = {A Type and Effect System for Atomicity},
 booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 year = {2003},
 isbn = {1-58113-662-5},
 pages = {338--349},
 location = {San Diego, California, USA},
 doi = {http://doi.acm.org/10.1145/781131.781169},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{savage:eraser1997,
 author = {Stefan Savage and Michael Burrows and Greg Nelson and Patrick Sobalvarro and Thomas Anderson},
 title = {Eraser: a dynamic data race detector for multithreaded programs},
 journal = {ACM Transactions on Computer Systems},
 volume = {15},
 number = {4},
 year = {1997},
 issn = {0734-2071},
 pages = {391--411},
 doi = {http://doi.acm.org/10.1145/265924.265927},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{wang:runtime-analysis-atomicity-2006,
 author = {Liqiang Wang and Scott D. Stoller},
 title = {Runtime Analysis of Atomicity for Multithreaded Programs},
 journal = {IEEE Transactions on Software Engeneering},
 volume = {32},
 number = {2},
 year = {2006},
 issn = {0098-5589},
 pages = {93--110},
 doi = {http://dx.doi.org/10.1109/TSE.2006.1599419},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@article{akers:binary-decision-diagrams-1978,
  author    = {Sheldon B. Akers},
  title     = {Binary Decision Diagrams.},
  journal   = {IEEE Transactions on Computers},
  volume    = {27},
  number    = {6},
  year      = {1978},
  pages     = {509-516},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{bollig:variable-ordering-obdds-1996,
 author = {Beate Bollig and Ingo Wegener},
 title = {Improving the Variable Ordering of OBDDs Is NP-Complete},
 journal = {IEEE Transactions on Computers},
 volume = {45},
 number = {9},
 year = {1996},
 issn = {0018-9340},
 pages = {993--1002},
 doi = {http://dx.doi.org/10.1109/12.537122},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@book{jones:partial-evaluation-1993,
 author = {Neil D. Jones and Carsten K. Gomard and Peter Sestoft},
 title = {Partial evaluation and automatic program generation},
 year = {1993},
 isbn = {0-13-020249-5},
 publisher = {Prentice-Hall, Inc.},
 address = {Upper Saddle River, NJ, USA},
 }

@inproceedings{carving-elbaum-2006,
 author = {Sebastian Elbaum and Hui Nee Chin and Matthew B. Dwyer and Jonathan Dokulil},
 title = {Carving differential unit test cases from system test cases},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2006},
 isbn = {1-59593-468-5},
 pages = {253--264},
 location = {Portland, Oregon, USA},
 doi = {http://doi.acm.org/10.1145/1181775.1181806},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@inbook{model-checking-csp,
 author = {A. W. Roscoe},
 chapter = {Model {C}hecking {CSP}},
 title = {A classical mind: essays in honour of C. A. R. Hoare},
 year = 1994,
 isbn = {0-13-294844-3},
 pages = {353--378},
 publisher = {Prentice Hall International (UK) Ltd.},
 address = {Hertfordshire, UK},
}

@inproceedings{slicingJVM:hatcliff1999,
 author = {John Hatcliff and James C. Corbett and Matthew B. Dwyer and Stefan Sokolowski and Hongjun Zheng},
 title = {A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives},
 booktitle = {Proceedings of the 6th International Symposium on Static Analysis (SAS)},
 year = {1999},
 isbn = {3-540-66459-9},
 pages = {1--18},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }


@article{csp:hoare1978,
 author = {C. A. R. Hoare},
 title = {Communicating sequential processes},
 journal = {Communications of ACM},
 volume = {21},
 number = {8},
 year = {1978},
 issn = {0001-0782},
 pages = {666--677},
 doi = {http://doi.acm.org/10.1145/359576.359585},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{model-checking-cspz:mota2001,
 author = {Alexandre Mota and Augusto Sampaio},
 title = {Model checking {CSP-Z}: strategy, tool support and industrial application},
 journal = {Science of Computer Programming},
 volume = {40},
 number = {1},
 year = {2001},
 issn = {0167-6423},
 pages = {59--96},
 doi = {http://dx.doi.org/10.1016/S0167-6423(00)00023-X},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }


@article{compositionalHardware:mcMillan2000,
  author    = {Kenneth L. McMillan},
  title     = {A methodology for hardware verification using compositional
               model checking.},
  journal   = {Science of Computer Programming},
  volume    = {37},
  number    = {1-3},
  year      = {2000},
  pages     = {279-309},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{future+bus:clarke1995,
  author    = {Edmund M. Clarke and
               Orna Grumberg and
               Hiromi Hiraishi and
               Somesh Jha and
               David E. Long and
               Kenneth L. McMillan and
               Linda A. Ness},
  title     = {Verification of the Futurebus+ Cache Coherence Protocol.},
  journal   = {Formal Methods in System Design},
  volume    = {6},
  number    = {2},
  year      = {1995},
  pages     = {217-232},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{gunter-semantics1992,
 author = {Carl A. Gunter},
 title = {Semantics of programming languages: structures and techniques},
 year = {1992},
 isbn = {0-262-07143-6},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

@book{winskel-semantics-1993,
 author = {Glynn Winskel},
 title = {The formal semantics of programming languages: an introduction},
 year = {1993},
 isbn = {0-262-23169-7},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

@ARTICLE{bhargavan,
  author = {K. Bhargavan and D. Obradovic and C. A. Gunter},
  title = {Formal verification of standards for distance vector routing protocols},
  journal = {Journal of the ACM},
  month = {July},
  year = {2002},
  volume = {49},
  pages = {538--576},
  number = {4},
  publisher = {ACM Press},
}

@TECHREPORT{sobeih-techReportJul04,
  author = {Ahmed Sobeih and Mahesh Viswanathan and Jennifer C. Hou},
  title = {Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation},
  institution = {Department of Computer Science, University of Illinois at Urbana-Champaign},
  month = {July},
  year = {2004},
  type = {Technical Report},
  number = {UIUCDCS-R-2004-2466},
  address = {Urbana, Illinois},
}

@PHDTHESIS{tyan:02,
  author = {H.-Y. Tyan},
  title = {Design, Realization and Evaluation of a Component-based Compositional Software Architecture for Network Simulation},
  school = {Department of Electrical Engineering, The Ohio State University},
  year = {2002},
  type = {{Ph.D.}},
}

@article{boehm-risk-1991,
 author = {Barry W. Boehm},
 title = {Software Risk Management: Principles and Practices},
 journal = {IEEE Software},
 volume = {8},
 number = {1},
 year = {1991},
 issn = {0740-7459},
 pages = {32--41},
 doi = {http://dx.doi.org/10.1109/52.62930},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }


@book{manna-temp-logic-spec,
 author = {Zohar Manna and Amir Pnueli},
 title = {The Temporal Logic of Reactive and Concurrent Systems: Specification},
 year = {1991},
 isbn = {0387976647},
 publisher = {Springer}
}


@article{burch94symbolic,
    author = "{J.R. Burch} and {E.M. Clarke} and {D.E. Long} and {K.L. MacMillan} and {D.L. Dill}",
    title = "Symbolic Model Checking for Sequential Circuit Verification",
    journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
    volume = "13",
    number = "4",
    pages = "401--424",
    year = "1994",
    url = "citeseer.ist.psu.edu/burch93symbolic.html" 
}

@inproceedings{burch91symbolic,
    author = "{J.R. Burch} and {E.M. Clarke} and {D.E. Long}",
    title = "Symbolic Model Checking with Partitioned Transition Relations",
    booktitle = "Proceedings of the International Conference on Very Large Scale Integration",
    publisher = "North-Holland",
    address = "Edinburgh, Scotland",
    editor = "{A. Halaas} and {P.B. Denyer}",
    pages = "49--58",
    year = "1991",
    url = "citeseer.ist.psu.edu/burch91symbolic.html" 
}

@article{lattice-theorems-tarski-55,
 author = {Alfred Tarski},
 title = {A lattice-theoretical fixpoint theorem and its applications},
 journal = {Pacific Journal of Mathematics},
 volume = {5},
 number = {2},
 year = {1955},
 pages = {285--309},
}

%% issn = {0001-0782},
%% doi = {http://doi.acm.org/10.1145/360933.360975},
%% publisher = {ACM Press},
%% address = {New York, NY, USA},

@inproceedings{scaffidi-05,
 author = {Christopher Scaffidi and Mary Shaw and Brad Myers},
 title = {Estimating the Numbers of End Users and End User Programmers},
 booktitle = {Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC)},
 year = {2005},
 isbn = {0-7695-2443-5},
 pages = {207--214},
 doi = {http://dx.doi.org/10.1109/VLHCC.2005.34},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

@MISC{labor-statistics,
author = {Bureau of Labor Statistics},
title = {Current Population Survey
    (CPS).  Computer Ownership/Internet Usage Supplement. 2005},
note = {\newurl{http://www.census.gov/population/socdemo/computer}},
year = 2005
}

@article{dijkstra75-gcommands,
 author = {Edsger W. Dijkstra},
 title = {Guarded commands, nondeterminacy and formal derivation of programs},
 journal = {Communications of ACM},
 volume = {18},
 number = {8},
 year = {1975},
 issn = {0001-0782},
 pages = {453--457},
 doi = {http://doi.acm.org/10.1145/360933.360975},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@inproceedings{nusmv,
 author = {Alessandro Cimatti and Edmund M. Clarke and Fausto Giunchiglia and Marco Roveri},
 title = {NUSMV: A New Symbolic Model Verifier},
 booktitle = {Proceedings of the International Conference on Computer Aided Verification (CAV)},
 year = {1999},
 isbn = {3-540-66202-2},
 pages = {495--499},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@book{godefroid-por-book,
 author = {Patrice Godefroid},
 editor = {J. van Leeuwen and J. Hartmanis and G. Goos},
 note = {Foreword By Pierre Wolper},
 title = {Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem},
 year = {1996},
 isbn = {3540607617},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
}

@inproceedings{arthogaroche06,
 author = {Cyrille Artho and Pierre-Loic Garoche},
 title = {Accurate Centralization for Applying Model Checking on Networked Applications},
 booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
 year = {2006},
 isbn = {0-7695-2579-2},
 pages = {177--188},
 doi = {http://dx.doi.org/10.1109/ASE.2006.10},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{penix-icse2000,
 author = {John Penix and Willem Visser and Eric Engstrom and Aaron Larson and Nicholas Weininger},
 title = {Verification of time partitioning in the {DEOS} scheduler kernel},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2000},
 isbn = {1-58113-206-9},
 pages = {488--497},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/337180.337364},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

%% from the tech report

@phdthesis{damorim:PhD,
   author = {Marcelo d'Amorim},
   title = {Efficient Explicit-State Model Checking of Programs with Dynamically-Allocated Data Structures},
   school = {University of Illinois at Urbana-Champaign},
   type = {{Ph.D.}},
   address = {Urbana, IL},
   month = {October},
   year = {2007}
}

@MISC{imageJ,
  title = {{ImageJ} webpage},
  title = {{ImageJ} web page},
  note = {\newurl{http://rsb.info.nih.gov/ij/index.html}},
}


@article{doESE05,
author    = {Hyunsook Do and
             Sebastian G. Elbaum and
             Gregg Rothermel},
title     = {Supporting Controlled Experimentation with Testing Techniques:
            An Infrastructure and its Potential Impact.},
journal   = {Empirical Software Engineering: An International Journal},
volume    = {10},
number    = {4},
pages     = {405--435},
year      = {2005},
}

@MISC{ant-web-page,
  title = {{Ant} webpage},
  title = {{Ant} web page},
  note = {\newurl{http://ant.apache.org/.}},
}


@MISC{jtopas-web-page,
  title = {{JTopas} webpage},
  title = {{JTopas} web page},
  note = {\newurl{http://jtopas.sourceforge.net.}},
}

@MISC{xml-security-webpage,
  title = {{XML-security} webpage},
  title = {{XML-security} web page},
  note = {\newurl{http://xml.apache.org/security.}},
}

@MISC{sir-web-page,
  title = {{SIR} webpage},
  title = {{SIR} web page},
  note = {\newurl{http://sir.unl.edu}},
}

@MISC{newton-square-root,
  title = {{Newton's square root} webpage},
  title = {{Newton's square root} web page},
  note = {\newurl{https://trac.videolan.org/skin-designer/browser/trunk/src}},
}


@MISC{bezier-web-site,
  title = {{Bezier} webpage},
  title = {{Bezier} web page},
  note = {\newurl{https://trac.videolan.org/skin-designer/browser/trunk/src}},
}

@MISC{cvc3-web-site,
  title = {{CVC3} webpage},
  title = {{CVC3} web page},
  note = {\newurl{http://www.cs.nyu.edu/acsys/cvc3/}},
}

@MISC{sat-competition,
  title = {{SAT} competition webpage},
  note = {\newurl{http://satcompetition.org}},
}


@MISC{jpf-web-site,
  title = {{J}ava {P}ath{F}inder webpage},
  note = {\newurl{http://javapathfinder.sourceforge.net}},
}

@MISC{jikes-rvm,
  title = {{J}ikes {RVM} webpage},
  note = {\newurl{http://jikesrvm.org/}},
}

@MISC{javaparser,
  title = {{J}apa {P}arser},
  note = {\newurl{http://code.google.com/p/javaparser/}},
}


@article{visser03model,
  title = {Model Checking Programs},
  author = {Willem Visser and Klaus Havelund and Guillaume Brat and Seungjoon Park and Flavio Lerda},
  journal = {Automated Software Engineering},
  month = {April},
  number = {2},
  pages = {203--232},
  url = {http://dx.doi.org/10.1023/A:1022920129859},
  volume = {10},
  year = {2003},
  doi = {10.1023/A:1022920129859}, citeulike-article-id = {1188784}, priority = {2},
  keywords = {2003 java model_checking }
} 

@InProceedings{Rugina04QuantitativeShapeAnalysis,
  author    = {Radu Rugina},
  title     = {Shape Analysis Quantitative Shape Analysis.},
  booktitle = {Proceedings of the Static Analysis Symposium (SAS)},
  year      = {2004},
  pages     = {228-245},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3148{\&}spage=228},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{YorshETAL04TVLA,
  author    = {Greta Yorsh and
               Thomas W. Reps and
               Shmuel Sagiv},
  title     = {Symbolically Computing Most-Precise Abstract Operations
               for Shape Analysis.},
  booktitle = {Proceedings of the International Conference on
     Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year      = {2004},
  pages     = {530-545},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2988{\&}spage=530},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{KuncakETAL02RoleAnalysis,
 author = {Viktor Kuncak and Patrick Lam and Martin Rinard},
 title = {Role analysis},
 booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
 year = {2002},
 isbn = {1-58113-450-9},
 pages = {17--32},
 }

% location = {Portland, Oregon},
% doi = {http://doi.acm.org/10.1145/503272.503276},
% publisher = {ACM Press},
% address = {New York, NY, USA},


@TECHREPORT{delta-exec-tech-report,
  author = {Marcelo d'Amorim and Steven Lauterburg and Darko Marinov},
  title = {Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs},
  institution = {University of Illinois},
  month = {April},
  year = {2007},
  type = {Technical Report},
  number = {UIUCDCS-R-2007-2844},
  address = {Urbana, IL},
}

@INPROCEEDINGS{wmcsa:99,
  author = {Charles E. Perkins and Elizabeth M. Royer},
  title = {Ad-hoc on-demand distance vector routing},
  booktitle = {Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications (WMCSA)},
  year = {1999},
  pages = {90--100},
  publisher = {IEEE Computer Society Press},
}

@MISC{ecl-found,
  title = {Eclipse foundation},
  note = {\newurl{http://www.eclipse.org/}},
  key = {Eclipse},
}

@MISC{jsim-simulator,
  title = {J-{S}im},
  note = {\newurl{http://www.j-sim.org/}},
  key = {J-Sim}
}

@inproceedings{zhou-hotdep:2007,
  author = {Yuanyuan Zhou and Darko Marinov and William Sanders and Craig Zilles and Marcelo d'Amorim and Steven Lauterburg and Ryan M. Lefever and Joe Tucek},
  title = {Delta Execution for Software Reliability},
  booktitle = {Workshop on Hot Topics in System Dependability (HotDep)},
  year = {2007},
  note = {}
}

@inproceedings{artho04:efficient-dynamic-analysis,
  author    = {Cyrille Artho and
               Viktor Schuppan and
               Armin Biere and
               Pascal Eugster and
               Marcel Baur and
               Boris Zweim{\"u}ller},
  title     = {JNuke: Efficient Dynamic Analysis for Java.},
  booktitle = {Proceedings of the International Conference on Computer Aided Verification (CAV)},
  year      = {2004},
  pages     = {462-465},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3114{\&}spage=462},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%%  crossref  = {DBLP:conf/cav/2004},

@BOOK{friedman01:essentials-programming-languages,
  title = {Essentials of Programming Languages},
  publisher = {MIT Press},
  year = {2001},
  author = {Daniel P. Friedman and Mitchell Wand and Christopher T. Haynes},
  isbn = {0-262-06217-8},
}

@inproceedings{damorim06:mixed-execution:icfem06,
 author = {Marcelo d'Amorim and Ahmed Sobeih and Darko Marinov},
 title = {Optimized Execution of Deterministic Blocks in {J}ava {P}ath{F}inder},
 booktitle = {Proceedings of International Conference on Formal Methods and Software Engineering (ICFEM)},
 year = {2006},
 pages = {549--567},
 volume = {4260},
 isbn = {978-3-540-47460-9},
 issn = {0302-9743},
 }

% location = {Macau, SAR},
% doi = {http://doi.acm.org/10.1007/11901433_30},
% publisher = {Springer Berlin / Heidelberg}


@inproceedings{cadar06:exe-input-death,
 author = {Cristian Cadar and Vijay Ganesh and Peter M. Pawlowski and David L. Dill and Dawson R. Engler},
 title = {{EXE}: {A}utomatically generating inputs of death},
 booktitle = {Proceedings of the ACM Conference on Computer and Communications Security (CCS)},
 year = {2006},
 isbn = {1-59593-518-5},
 pages = {322--335},
 }
%% location = {Alexandria, Virginia, USA},
%% doi = {http://doi.acm.org/10.1145/1180405.1180445},
%% publisher = {ACM Press},
%% address = {New York, NY, USA},


@inproceedings{whaley04:bddbddb-pldi,
 author = {John Whaley and Monica S. Lam},
 title = {Cloning-based context-sensitive pointer alias analysis using binary decision diagrams},
 booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 year = {2004},
 isbn = {1-58113-807-5},
 pages = {131--144},
 }

% location = {Washington DC, USA},
% doi = {http://doi.acm.org/10.1145/996841.996859},
% publisher = {ACM Press},
% address = {New York, NY, USA},

@inproceedings{ondrej04:jedd-pldi,
 author = {Ondrej Lhotak and Laurie Hendren},
 title = {Jedd: a {BDD}-based relational extension of {J}ava},
 booktitle = {Proceedings of the ACM SIGPLAN 2004 conference on Programming Language Design and Implementation (PLDI)},
 year = {2004},
 isbn = {1-58113-807-5},
 pages = {158--169},
 location = {Washington DC, USA},
 doi = {http://doi.acm.org/10.1145/996841.996861},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{ball00bebop,
    author = "Thomas Ball and Sriram K. Rajamani",
    title = "Bebop: A Symbolic Model Checker for Boolean Programs",
    booktitle = "{Proceedings of the International SPIN Workshop on Model Checking of Software (SPIN)}",
    pages = "113--130",
    year = "2000",
    url = "citeseer.ist.psu.edu/ball00bebop.html"
}

@article{offutt99dynamic,
    author = "A. Jefferson Offutt and Zhenyi Jin and Jie Pan",
    title = "The dynamic domain reduction procedure for test data generation",
    journal = "Software - Practice and Experience",
    volume = "29",
    number = "2",
    pages = "167--193",
    year = "1999",
    url = "citeseer.ist.psu.edu/article/offutt97dynamic.html"
}

@inproceedings{iosif:exploiting-heap-symmetries,
 author = {Radu Iosif},
 title = {Exploiting Heap Symmetries in Explicit-State Model Checking of Software},
 booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
 year = {2001},
 pages = {254},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{randal-bryant:symbolic-model-checking,
 author = {Randal E. Bryant},
 title = {Symbolic Boolean manipulation with ordered binary-decision diagrams},
 journal = {ACM Computing Surveys},
 volume = {24},
 number = {3},
 year = {1992},
 issn = {0360-0300},
 pages = {293--318},
 doi = {http://doi.acm.org/10.1145/136035.136043},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@inproceedings{burch:symbolic-model-checking-10-20-beyond,
    author = "{J.R. Burch} and {E.M. Clarke} and {K.L. McMillan} and {D.L. Dill} and {L.J. Hwang}",
    title = "{S}ymbolic {M}odel {C}hecking: $10^{20}$ {S}tates and {B}eyond",
    booktitle = "Proceedings of the {IEEE} Symposium on Logic in Computer Science (LICS)",
    publisher = "IEEE Computer Society Press",
    address = "Washington, D.C.",
    pages = "1--33",
    year = "1990",
    url = "citeseer.ist.psu.edu/burch90symbolic.html"
}

@article{deMartini:deadlock-detection-jcat,
 author = {Claudio DeMartini and Radu Iosif and Riccardo Sisto},
 title = {A deadlock detection tool for concurrent Java programs},
 journal = {Software - Practice and Experience},
 volume = {29},
 number = {7},
 year = {1999},
 issn = {0038-0644},
 pages = {577--603},
 doi = {http://dx.doi.org/10.1002/(SICI)1097-024X(199906)29:7<577::AID-SPE246>3.0.CO;2-V},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA},
 }

@ARTICLE{havelund-pressburger:model-checking-java-programs,
author = "Klaus Havelund and Thomas Pressburger",
title = "Model Checking {J}ava Programs using {J}ava {P}ath{F}inder",
journal = {International Journal on Software Tools for Technology Transfer},
year = {1998},
volume = {2},
number = {4}
}

@inproceedings{damorim06:empirical-ase,
 author = {Marcelo d'Amorim and Carlos Pacheco and Tao Xie and Darko Marinov and Michael D. Ernst},
 title = {An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing},
 booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
 year = {2006},
 isbn = {0-7695-2579-2},
 pages = {59--68},
 doi = {http://dx.doi.org/10.1109/ASE.2006.13},
 }

%% publisher = {IEEE Computer Society},
%% address = {Washington, DC, USA},

@inproceedings{darga06:emc-data-structures-oopsla,
 author = {Paul T. Darga and Chandrasekhar Boyapati},
 title = {Efficient software model checking of data structure properties},
 booktitle = {Proceedings of the ACM SIGPLAN Sonference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
 year = {2006},
 isbn = {1-59593-348-4},
 pages = {363--382},
 }

% location = {Portland, Oregon, USA},
% doi = {http://doi.acm.org/10.1145/1167473.1167504},
% publisher = {ACM Press},
% address = {New York, NY, USA},

@inproceedings{clarke04:cbmc-tacas-tool,
  AUTHOR    = { Edmund Clarke
                and Daniel Kroening
                and Flavio Lerda },
  TITLE     = { A Tool for Checking {ANSI-C} Programs },
  BOOKTITLE = {Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  YEAR      = { 2004 },
  PAGES     = { 168--176 },
  SERIES    = { LNCS },
  VOLUME    = { 2988 }
}

@inproceedings{ball02:slam-project,
 author = {Thomas Ball and Sriram K. Rajamani},
 title = {The SLAM project: debugging system software via static analysis},
 booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
 year = {2002},
 isbn = {1-58113-450-9},
 pages = {1--3},
 location = {Portland, Oregon},
 doi = {http://doi.acm.org/10.1145/503272.503274},
 publisher = {ACM Press},
 address = {New York, NY},
 }

@inproceedings{ball01:automatic-validation-properties-interfaces,
 author = {Thomas Ball and Sriram K. Rajamani},
 title = {Automatically validating temporal safety properties of interfaces},
 booktitle = {Proceedings of the International SPIN Workshop on Model Checking of Software (SPIN)},
 year = {2001},
 isbn = {3-540-42124-6},
 pages = {103--122},
 location = {Toronto, Ontario, Canada},
 address = {New York, NY},
 }


@inproceedings{veanes05:online-testing,
 author = {Margus Veanes and Colin Campbell and Wolfram Schulte and Nikolai Tillmann},
 title = {Online testing with model programs},
 booktitle = {Proceedings of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
 year = {2005},
 isbn = {1-59593-014-0},
 pages = {273--282},
 location = {Lisbon, Portugal},
 doi = {http://doi.acm.org/10.1145/1081706.1081751},
 publisher = {ACM Press},
 address = {New York, NY},
}

@Manual{javancss:2010,
  organization = {JavaNCSS website},
  title =        {JavaNCSS - A Source Measurement Suite for Java},
  note =         {\newurl{http://www.kclee.de/clemens/java/javancss/}},
}

@Manual{jstat:2003,
  organization = {Sun Microsystems},
  title =        {jstat: Java Virtual Machine Statistics Monitoring Tool},
  note =         {\newurl{http://java.sun.com/j2se/1.5.0/docs/tooldocs/share/jstat.html}},
}

@Manual{Java2v1p3p1API,
  organization = {Sun Microsystems},
  title =        {Java 2 {P}latform, {S}tandard {E}dition, v1.3.1 {API} Specification},
  note =         {\newurl{http://java.sun.com/j2se/1.3/docs/api/}},
}

@Manual{Java2v5,
  organization = {Sun Microsystems},
  title =        {Java 2 {P}latform, {S}tandard {E}dition, v1.5.0 {API} Specification},
  note =         {\newurl{http://java.sun.com/j2se/1.5.0/docs/api/}},
}


@Manual{jvm-spec-1999,
  organization = {Sun Microsystems},
  title =        {Java Virtual Machine Specification},
  note =         {\newurl{http://java.sun.com/docs/books/jvms}},
}

@Manual{cbmc-cmu,
  organization = {CMU},
  title =        {CBMC website},
  note =         {\newurl{http://www.cs.cmu.edu/~modelcheck/cbmc/}},
}

@Book{javanutshell,
   author =   {D. Flanagan},
   title =   {Java In A Nutshell},
   publisher =   {O'Reilly},
   year =   {1997},
}

@inproceedings{visser06:test,
 author = {Willem Visser and Corina S. Pasareanu and Radek Pelanek},
 title = {Test input generation for {J}ava containers using state matching},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2006},
 isbn = {1-59593-263-1},
 doi = {http://doi.acm.org/10.1145/1146238.1146243},
 pages = {37--48}
}

@MISC{jni-manual,
  authors = {Sheng Liang},
  title = {Java \textup{N}ative \textup{I}nterface: \textup{P}rogrammer's \textup{G}uide and \textup{S}pecification},
  howpublished = {Online book},
  note = {\newurl{http://java.sun.com/docs/books/jni/}},
}

@MISC{jpf-manual,
  author = {Peter C. Mehlitz and Willem Visser and John Penix},
  title = {The \textup{JPF} Runtime Verification System},
  howpublished = {Online manual},
  note = {\newurl{http://javapathfinder.sourceforge.net/JPF.pdf}},
}

@INPROCEEDINGS{visser05:ase,
  author = {Willem Visser and Corina S. Pasareanu and Radek Pelanek},
  title = {Test input generation for red-black trees using abstraction},
  booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year = {2005},
  pages = {414--417},
  location = {Long Beach, CA},
}

@Inproceedings{javafan1,
   author =   {Azadeh Farzan and Feng Chen and Jose Meseguer and Grigore Rosu},
   title =   {Formal Analysis of \textup{J}ava Programs in \textup{J}ava\textup{FAN}},
   booktitle =   {Proceedings of the International Conference on Computer Aided Verification (CAV)},
   month = {July},
   year =   {2004}
}

@Inproceedings{javamc,
   author =  {D. Y.W. Park and U. Stern and J. U. Skakkeb{\ae}k and D. L. Dill},
   title =   {Java Model Checking},
   booktitle =   {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE)},
   year =   {2000},
}

@Inproceedings{pathfinder1,
   author =  {K. Havelund},
   title =   {Java \textup{P}athFinder, A Translator from \textup{J}ava to \textup{P}romela},
   booktitle =   {Proceedings of the International SPIN Workshop on Model Checking of Software (SPIN)},
   year =   {1999},
}

@inproceedings{murphi,
  author    = {D. L. Dill and A. J. Drexler and A. J. Hu and C. H. Yang},
  title     = {Protocol verification as a hardware design aid},
  booktitle = {Proceedings of the IEEE International Conference on Computer Design (ICCD)},
  year      = {1992},
  pages     = {522-525},
}

@ARTICLE{spin,
  author = {G. J. Holzmann},
  title = {The model checker \textup{SPIN}},
  journal = {IEEE Transactions on Software Engineering},
  year = {1997},
  volume = {23},
  pages = {279--295},
  number = {5},
}

@inproceedings{musuvathi:05,
  author    = {Madanlal Musuvathi and David L. Dill},
  title     = {An Incremental Heap Canonicalization Algorithm},
  booktitle = {Proceedings of the International SPIN Workshop on Model Checking of Software (SPIN)},
  year      = {2005},
  pages     = {28-42},
  ee        = {http://dx.doi.org/10.1007/11537328_6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{musuvathi:04,
  author = {M. Musuvathi and D. Engler},
  title = {Model checking large network protocol implementations},
  booktitle = {Proceedings of the Symposium on Networked Systems Design and Implementation (NSDI)},
  pages     = {155--168},
  year = {2004},
}

@inproceedings{yang:04,
  author    = {Junfeng Yang and
               Paul Twohey and
               Dawson R. Engler and
               Madanlal Musuvathi},
  title     = {Using Model Checking to Find Serious File System Errors},
  booktitle = {Proceedings of the Symposium on Operating System Design and Implementation (OSDI)},
  year      = {2004},
  pages     = {273-288},
  ee        = {http://www.usenix.org/events/osdi04/tech/yang.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{lerda:01,
 author = {Flavio Lerda and Willem Visser},
 title = {Addressing dynamic issues of program model checking},
 booktitle = {Proceedings of the international {SPIN} workshop on Model checking of software (SPIN)},
 year = {2001},
 isbn = {3-540-42124-6},
 pages = {80--102},
 address = {Toronto, Canada}
}

@INPROCEEDINGS{tyan05:towards,
  author    = {Hung-Ying Tyan and
               Ahmed Sobeih and
               Jennifer C. Hou},
  title     = {Towards Composable and Extensible Network Simulation.},
  booktitle = {Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)},
  year      = {2005},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/IPDPS.2005.439},
  crossref  = {DBLP:conf/ipps/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ipps/2005,
  title     = {19th International Parallel and Distributed Processing Symposium
               (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April
               2005, Denver, CA},
  booktitle = {IPDPS},
  publisher = {IEEE Computer Society},
  year      = {2005},
  isbn      = {0-7695-2312-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{sobeih05:finding,
  author    = {Ahmed Sobeih and
               Mahesh Viswanathan and
               Darko Marinov and
               Jennifer C. Hou},
  title     = {Finding Bugs in Network Protocols Using Simulation Code
               and Protocol-Specific Heuristics.},
  booktitle = {Proceedings of the International Conference on Formal Engineering Methods (ICFEM)},
  year      = {2005},
  pages     = {235-250},
  ee        = {http://dx.doi.org/10.1007/11576280_17},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icfem/2005,
  editor    = {Kung-Kiu Lau and
               Richard Banach},
  title     = {Formal Methods and Software Engineering, 7th International
               Conference on Formal Engineering Methods, ICFEM 2005, Manchester,
               UK, November 1-4, 2005, Proceedings},
  booktitle = {Proceedings of the International Conference on Formal Engineering Methods (ICFEM)},
  series    = {LNCS},
  volume    = {3785},
  year      = {2005},
  isbn      = {3-540-29797-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{abramson96:relative,
  author = {David Abramson and Ian Foster and John Michalakes and Rok Socic},
  title = {Relative debugging: a new methodology for debugging scientific applications},
  journal = {Communications of the ACM},
  year = {1996},
  volume = {39},
  pages = {69--77},
  number = {11},
  doi = {http://doi.acm.org/10.1145/240455.240475},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@ARTICLE{agrawal93:debugging,
  author = {Hiralal Agrawal and Richard A. DeMillo and Eugene H. Spafford},
  title = {Debugging with Dynamic Slicing and Backtracking},
  journal = {Software - Practice and Experience},
  year = {1993},
  volume = {23},
  pages = {589-616},
  number = {6},
}

@INPROCEEDINGS{agrawal95:fault,
  author = {Hiralal Agrawal and Joseph R. Horgan and Saul London and W. Eric Wong},
  title = {Fault localization using execution slices and data ow tests},
  booktitle = {Proceedings of the IEEE Software Reliability Engineering (SRE)},
  year = {1995},
  pages = {143--151},
  publisher = {IEEE Computer Society Press},
}

@TECHREPORT{alexander04:towards,
  author = {Roger T. Alexander and James M. Bieman and Anneliese A. Andrews},
  title = {Towards the Systematic Testing of Aspect-Oriented Programs},
  institution = {Department of Computer Science, Colorado State University},
  year = {2004},
  type = {Technical Report},
  number = {CS-4-105},
  address = {Fort Collins, Colorado},
}

@INPROCEEDINGS{ammons02:mining,
  author = {Glenn Ammons and Rastislav Bodik and James R. Larus},
  title = {Mining specifications},
  booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = {2002},
  pages = {4--16},
  doi = {http://doi.acm.org/10.1145/503272.503275},
  isbn = {1-58113-450-9},
  location = {Portland, Oregon},
}

@INPROCEEDINGS{ammons03:debugging,
  author = {Glenn Ammons and David Mandelin and Rastislav Bodik and James R. Larus},
  title = {Debugging temporal specifications with concept analysis},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
  year = {2003},
  pages = {182--195},
  doi = {http://doi.acm.org/10.1145/781131.781152},
  isbn = {1-58113-662-5},
  location = {San Diego, CA},
}

@INPROCEEDINGS{andrews79:using,
  author = {Dorothy M. Andrews},
  title = {Using Executable Assertions for Testing and Fault Tolerance},
  booktitle = {Proceedings of the International Fault-Tolerant Computing Symposium (FTCS)},
  year = {1979},
  pages = {102--105},
}

@INPROCEEDINGS{andrews04:zing,
  author = {Tony Andrews and Shaz Qadeer and Sriram K. Rajamani and Jakob Rehof and Yichen Xie},
  title = {Zing: A Model Checker for Concurrent Software},
  booktitle = {Proceedings of the International Conference on Computer Aided Verification (CAV)},
  year = {2004},
  pages = {484--487},
}

@BOOK{arnold00:java,
  title = {The Java Programming Language},
  publisher = {Addison-Wesley Longman Publishing Co., Inc.},
  year = {2000},
  author = {Ken Arnold and James Gosling and David Holmes},
  isbn = {0201704331},
}

@BOOK{arnold96:software,
  title = {Software Change Impact Analysis},
  publisher = {IEEE Computer Society Press},
  year = {1996},
  author = {Robert S. Arnold},
  isbn = {0818673842},
}

@TECHREPORT{ball04:theory,
  author = {Thomas Ball},
  title = {A Theory of Predicate-Complete Test Coverage and Generation},
  institution = {Microsoft Research},
  year = {2004},
  type = {Technical Report},
  number = {MSR-TR-2004-28},
  address = {Redmond, WA},
  month = {April},
}

@TECHREPORT{ball03:abstraction,
  author = {Thomas Ball},
  title = {Abstraction-guided Test Generation: A Case Study},
  institution = {Microsoft Research},
  year = {2003},
  type = {Technical Report},
  number = {MSR-TR-2003-86},
  address = {Seattle, WA},
  month = {November},
}

@ARTICLE{ball00:state,
  author = {Thomas Ball and Daniel Hoffman and Frank Ruskey and Richard Webber and Lee J. White},
  title = {State Generation and Automated Class Testing},
  journal = {Software Testing, Verification and Reliability},
  year = {2000},
  volume = {10},
  pages = {149--170},
  number = {3},
}

@INPROCEEDINGS{ball96:efficient,
  author = {Thomas Ball and James R. Larus},
  title = {Efficient path profiling},
  booktitle = {Proceedings of the ACM/IEEE International Symposium on Microarchitecture (MICRO)},
  year = {1996},
  pages = {46--57},
  isbn = {0-8186-7641-8},
  location = {Paris, France},
}

@INPROCEEDINGS{ball01:automatic,
  author = {Thomas Ball and Rupak Majumdar and Todd Millstein and Sriram K. Rajamani},
  title = {Automatic predicate abstraction of {C} programs},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
  year = {2001},
  pages = {203--213},
  doi = {http://doi.acm.org/10.1145/378795.378846},
  isbn = {1-58113-414-2},
  location = {Snowbird, Utah, United States},
}

@INPROCEEDINGS{ball01:automatically,
  author = {Thomas Ball and Sriram K. Rajamani},
  title = {Automatically validating temporal safety properties of interfaces},
  booktitle = {Proceedings of the International SPIN Workshop on Model Checking of Software (SPIN)},
  year = {2001},
  pages = {103--122},
  location = {Toronto, Canada}
}

@ARTICLE{BallLarus2000,
  author = {Tom Ball and James R. Larus},
  title = {Using Paths to Measure, Explain, and Enhance Program Behavior},
  journal = {IEEE Computer},
  year = {2000},
  volume = {33},
  pages = {57--65},
  number = {7},
}

@TECHREPORT{baresi01:test,
  author = {Luciano Baresi and Michal Young},
  title = {Test Oracles},
  institution = {University of Oregon, Dept. of Computer and Information Science},
  year = {2001},
  type = {Technical Report},
  number = {CIS-TR-01-02},
  address = {Eugene, Oregon, U.S.A.},
  month = {August},
}

@INPROCEEDINGS{barnett04:pure,
  author = {Mike Barnett and David A. Naumann and Wolfram Schulte and Qi Sun},
  title = {99.44\% pure: Useful Abstractions in Specifications},
  booktitle = {Proceedings of the Workshop on Formal Techniques for Java-like Programs (FTfJP)},
  year = {2004},
  month = {June},
}

@INPROCEEDINGS{barrett04:cvclite,
  author = {Clark W. Barrett and Sergey Berezin},
  title = {{CVC} {L}ite: A New Implementation of the Cooperating Validity Checker},
  booktitle = {Proceedings of the International Conference on Computer Aided Verification (CAV)},
  year = {2004},
  pages = {515--518},
  month = {July},
  location = {Boston, MA},
}

@BOOK{beck03:test,
  title = {Test Driven Development: By Example},
  publisher = {Addison-Wesley},
  year = {2003},
  author = {Kent Beck},
  isbn = {0-321-14653-0},
  keywords = {olit scglib oorp},
}

@BOOK{beck00:extreme,
  title = {Extreme programming explained},
  publisher = {Addison-Wesley},
  year = {2000},
  author = {Kent Beck},
}

@ARTICLE{beck98:test,
  author = {Kent Beck and Erich Gamma},
  title = {Test Infected: Programmers Love Writing Tests},
  journal = {Java Report},
  year = {1998},
  volume = {3},
  pages = {37--50},
  number = {7},
  url = {http://junit.sourceforge.net/doc/testinfected/testing.htm},
}

@BOOK{beizer90:testing,
  title = {Software Testing Techniques},
  publisher = {International Thomson Computer Press},
  year = {1990},
  author = {Boris Beizer},
}

@ARTICLE{bergmans01:composing,
  author = {Lodewijk Bergmans and Mehmet Aksits},
  title = {Composing crosscutting concerns using composition filters},
  journal = {Communications of ACM},
  year = {2001},
  volume = {44},
  pages = {51--57},
  number = {10},
}

@ARTICLE{bernot91:software,
  author = {Gilles Bernot and Marie Claude Gaudel and Bruno Marre},
  title = {Software testing based on formal specifications: a theory and a tool},
  journal = {Software Engineering Journal},
  year = {1991},
  volume = {6},
  pages = {387--405},
  number = {6},
  issn = {0268-6961},
  publisher = {Michael Faraday House},
}

@INPROCEEDINGS{beyer04:generating,
  author = {Dirk Beyer and Adam J. Chlipala and Rupak Majumdar},
  title = {Generating Tests from Counterexamples},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2004},
  pages = {326--335},
}

@ARTICLE{boehm96:identifying,
  author = {Barry Boehm and Hoh In},
  title = {Identifying Quality-Requirement Conflicts},
  journal = {IEEE Software},
  year = {1996},
  volume = {13},
  pages = {25--35},
  number = {2},
  doi = {http://dx.doi.org/10.1109/52.506460},
  issn = {0740-7459},
  publisher = {IEEE Computer Society Press},
}

@INPROCEEDINGS{boyapati02:korat,
  author = {Chandrasekhar Boyapati and Sarfraz Khurshid and Darko Marinov},
  title = {Korat: {A}utomated testing based on {Java} predicates},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2002},
  pages = {123--133},
  doi = {http://doi.acm.org/10.1145/566172.566191},
  isbn = {1-58113-562-9},
  location = {Roma, Italy},
}

@ARTICLE{bush00:static,
  author = {William R. Bush and Jonathan D. Pincus and David J. Sielaff},
  title = {A static analyzer for finding dynamic programming errors},
  journal = {Software - Practice and Experience},
  year = {2000},
  volume = {30},
  pages = {775--802},
  number = {7},
}

@INPROCEEDINGS{buy00:automated,
  author = {Ugo Buy and Alessandro Orso and Mauro Pezze},
  title = {Automated Testing of Classes},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2000},
  pages = {39--48},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/347324.348870},
  isbn = {1-58113-266-2},
  location = {Portland, Oregon, United States},
}

@INPROCEEDINGS{chang99:structural,
  author = {Juei Chang and Debra J. Richardson},
  title = {Structural specification-based testing: automated support and experimental evaluation},
  booktitle = {Proceedings of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year = {1999},
  pages = {285--302},
  doi = {http://doi.acm.org/10.1145/318773.318948},
  isbn = {3-540-66538-2},
  location = {Toulouse, France},
}

@ARTICLE{chapman82:program,
  author = {David Chapman},
  title = {A program testing assistant},
  journal = {Communications of ACM},
  year = {1982},
  volume = {25},
  pages = {625--634},
  number = {9},
}

@ARTICLE{chen98:black,
  author = {Huo Yan Chen and T. H. Tse and F. T. Chan and T. Y. Chen},
  title = {In black and white: an
     integrated approach to class-level testing of object-oriented programs},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1998},
  volume = {7},
  pages = {250--295},
  number = {3},
  doi = {http://doi.acm.org/10.1145/287000.287004},
  issn = {1049-331X},
  publisher = {ACM Press},
}

@ARTICLE{chen01:taccle,
  author = {Huo Yan Chen and T. H. Tse and T. Y. Chen},
  title = {TACCLE: a methodology for
     object-oriented software testing at the class and cluster levels},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {2001},
  volume = {10},
  pages = {56--109},
  number = {1},
  doi = {http://doi.acm.org/10.1145/366378.366380},
  issn = {1049-331X},
  publisher = {ACM Press},
}

@ARTICLE{chen03:fault,
  author = {Tsong Yueh Chen and T. H. Tse and Z. Quan Zhou},
  title = {Fault-based testing without the need of oracles.},
  journal = {Information {\&} Software Technology},
  year = {2003},
  volume = {45},
  pages = {1-9},
  number = {1},
}

@INPROCEEDINGS{cheon02:simple,
  author = {Yoonsik Cheon and Gary T. Leavens},
  title = {A Simple and Practical Approach to Unit Testing: The {JML} and {JUnit} Way},
  booktitle = {Proceedings of the European Conference Object-Oriented Programming (ECOOP)},
  year = {2002},
  pages = {231--255},
  month = Jun,
  key = {Cheon \& Leavens},
}

@inproceedings{claessen00:quickcheck,
 author = {Koen Claessen and John Hughes},
 title = {{QuickCheck}: a lightweight tool for random testing of {H}askell programs},
 booktitle = {Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP)},
 year = {2000},
 location = {Montreal, Canada},
 pages = {268--279},
}

@UNPUBLISHED{clark00:junit,
  author = {Mike Clark},
  title = {JUnit Primer},
  note = {Draft manuscript},
  month = {October},
  year = {2000},
  url = {http://www.clarkware.com/articles/JUnitPrimer.html},
}

@INPROCEEDINGS{clark99:type,
  author = {Tony Clark},
  title = {Type Checking {UML} Static Diagrams},
  booktitle = {UML'99 - The Unified Modeling Language. Beyond the Standard. Second International
     Conference, Fort Collins, CO},
  year = {1999},
  month = Oct,
  editor = {Robert France and Bernhard Rumpe},
  volume = {1723},
  series = {LNCS},
  pages = {503--517},
}

@BOOK{clarke99:model,
  title = {Model Checking},
  publisher = {The MIT Press, Cambridge, MA},
  year = {1999},
  author = {Edmund M. Clarke and Orna Grumberg and Doron A. Peled},
  isbn = {262032708},
}

@ARTICLE{clarke76:system,
  author = {Lori A. Clarke},
  title = {A system to generate test data and symbolically execute programs},
  journal = {IEEE Trans. Softw. Eng.},
  year = {1976},
  volume = {2},
  pages = {215-222},
  number = {3},
}

@INPROCEEDINGS{cook99:highly,
  author = {Jonathan E. Cook and Jeffrey A. Dage},
  title = {Highly reliable upgrading of components},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1999},
  pages = {203--212},
  publisher = {IEEE Computer Society Press},
  isbn = {1-58113-074-0},
  location = {Los Angeles, California, United States},
}

@ARTICLE{cook98:discovering,
  author = {Jonathan E. Cook and Alexander L. Wolf},
  title = {Discovering models of software processes from event-based data},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1998},
  volume = {7},
  pages = {215--249},
  number = {3},
  doi = {http://doi.acm.org/10.1145/287000.287001},
  issn = {1049-331X},
  publisher = {ACM Press},
}

@INPROCEEDINGS{corbett00:bandera,
  author = {James C. Corbett and Matthew B. Dwyer and John Hatcliff and
     Shawn Laubach and Corina S. Pasareanu and Robby and Hongjun Zheng},
  title = {{B}andera: {E}xtracting finite-state models from {Java} source code},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2000},
  pages = {439--448},
  doi = {http://doi.acm.org/10.1145/337180.337234},
  isbn = {1-58113-206-9},
  location = {Limerick, Ireland},
}

@BOOK{cormen90:algorithms,
  title = {Introduction to Algorithms},
  publisher = {The MIT Press},
  year = {1990},
  author = {T. H. Cormen and C. E. Leiserson and R. L. Rivest},
  address = {Cambridge, MA},
}

@ARTICLE{csallner04:jcrasher,
  author = {Christoph Csallner and Yannis Smaragdakis},
  title = {J{C}rasher: An automatic robustness tester for {J}ava},
  journal = {Software - Practice and Experience},
  year = {2004},
  volume = {34},
  pages = {1025--1050},
  issue = {11},
}

@ARTICLE{cusumano97:how,
  author = {Michael A. Cusumano and Richard W. Selby},
  title = {How {M}icrosoft builds software},
  journal = {Communications of ACM},
  year = {1997},
  volume = {40},
  pages = {53--61},
  number = {6},
  doi = {http://doi.acm.org/10.1145/255656.255698},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@MISC{dahm03:byte,
  author = {Markus Dahm and Jason van Zyl},
  title = {Byte {C}ode {E}ngineering {L}ibrary},
  month = {April},
  year = {2003},
  note = {\newurl{http://jakarta.apache.org/bcel/}},
  source = {http://jakarta.apache.org/bcel/},
}

@INPROCEEDINGS{deBaud99:systematic,
  author = {Jean-Marc DeBaud and Klaus Schmid},
  title = {A systematic approach to derive the scope of software product lines},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1999},
  pages = {34--43},
  publisher = {IEEE Computer Society Press},
  isbn = {1-58113-074-0},
  location = {Los Angeles, California, United States},
}

@INPROCEEDINGS{dekel03:revealing,
  author = {Uri Dekel and Yossi Gil},
  title = {Revealing Class Structure with Concept Lattices},
  booktitle = {Proceedings of the IEEE Working Conference on Reverse Engineering (WCRE)},
  year = {2003},
  pages = {353--365},
}

@ARTICLE{deMartini99:deadlock,
  author = {Claudio DeMartini and Radu Iosif and Riccardo Sisto},
  title = {A deadlock detection tool for concurrent {Java} programs},
  journal = {Software - Practice and Experience},
  year = {1999},
  volume = {29},
  pages = {577--603},
  number = {7},
}

@ARTICLE{deMillo91:constraint,
  author = {Richard A. DeMillo and A. Jefferson Offutt},
  title = {Constraint-Based Automatic Test Data Generation},
  journal = {IEEE Transactions Software Engineering},
  year = {1991},
  volume = {17},
  pages = {900--910},
  number = {9},
}

@INPROCEEDINGS{dick93:automating,
  author = {Jeremy Dick and Alain Faivre},
  title = {Automating the Generation and Sequencing of Test Cases from Model-Based Specifications},
  booktitle = {Proceedings of the International
     Symposium of Formal Methods Europe on Industrial-Strength Formal Methods (FME)},
  year = {1993},
  pages = {268--284},
  address = {London, UK},
}

@INPROCEEDINGS{dickinson01:finding,
  author = {William Dickinson and David Leon and Andy Podgurski},
  title = {Finding failures by cluster analysis of execution profiles},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2001},
  pages = {339--348},
  isbn = {0-7695-1050-7},
  location = {Toronto, Ontario, Canada},
}

@INPROCEEDINGS{dickinson01:pursuing,
  author = {William Dickinson and David Leon and Andy Podgurski},
  title = {Pursuing failure: the distribution of program failures in a profile space},
  booktitle = {Proceedings of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year = {2001},
  pages = {246--255},
  doi = {http://doi.acm.org/10.1145/503209.503243},
  isbn = {1-58113-390-1},
  location = {Vienna, Austria},
}

@INPROCEEDINGS{henkel03:discovering,
  author = {Johannes Henkel And Amer Diwan},
  title = {Discovering Algebraic Specifications from {Java} Classes},
  booktitle = {Proceeding of the European Conference on Object-Oriented Programming (ECOOP)},
  year = {2003},
  pages = {431--456},
}

@UNPUBLISHED{Dodoo02:selecting,
  author = {Nii Dodoo and Alan Donovan and Lee Lin and Michael D. Ernst},
  title = {Selecting predicates for implications in program analysis},
  note = {Draft},
  month = {March},
  year = {2002},
  url = {http://pag.lcs.mit.edu/~mernst/pubs/invariants-implications.ps},
}

@ARTICLE{doong94:astoot,
  author = {Roong-Ko Doong and Phyllis G. Frankl},
  title = {The {ASTOOT} approach to testing object-oriented programs},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1994},
  volume = {3},
  pages = {101--130},
  number = {2},
  doi = {http://doi.acm.org/10.1145/192218.192221},
  issn = {1049-331X},
  publisher = {ACM Press},
}

@INPROCEEDINGS{dwyer99:patterns,
  author = {Matthew B. Dwyer and George S. Avrunin and James C. Corbett},
  title = {Patterns in property specifications for finite-state verification},
  booktitle = {Proceedings of the International Conference on Software Engineering ICSE)},
  year = {1999},
  pages = {411--420},
  isbn = {1-58113-074-0},
  location = {Los Angeles, California, United States},
}

@INPROCEEDINGS{dwyer01:tool,
  author = {Matthew B. Dwyer and John Hatcliff and Roby Joehanes and Shawn
     Laubach and Corina S. Pasareanu and Hongjun Zheng and Willem Visser},
  title = {Tool-supported program abstraction for finite-state verification},
  booktitle = {Proceeding of the International Conference on Software Engineering (ICSE)},
  year = {2001},
  pages = {177--187},
  isbn = {0-7695-1050-7},
  location = {Toronto, Ontario, Canada},
}

@ARTICLE{edwards00:black,
  author = {Stephen H. Edwards},
  title = {Black-box testing using flowgraphs: an
     experimental assessment of effectiveness and automation potential},
  journal = {Software Testing, Verification and Reliability},
  year = {2000},
  volume = {10},
  pages = {249-262},
  number = {4},
}

@INPROCEEDINGS{elbaum01:incorporating,
  author = {Sebastian Elbaum and Alexey Malishevsky and Gregg Rothermel},
  title = {Incorporating varying test costs and fault severities into test case prioritization},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2001},
  pages = {329--338},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1050-7},
  location = {Toronto, Ontario, Canada},
}

@ARTICLE{elbaum02:test,
  author = {Sebastian Elbaum and Alexey G. Malishevsky and Gregg Rothermel},
  title = {Test Case Prioritization: A Family of Empirical Studies},
  journal = {IEEE Transactions Software Engineering (TSE)},
  year = {2002},
  volume = {28},
  pages = {159--182},
  number = {2},
  doi = {http://dx.doi.org/10.1109/32.988497},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{engler01:bugs,
  author = {Dawson Engler and David Yu Chen and Seth Hallem and Andy Chou and Benjamin Chelf},
  title = {Bugs as deviant behavior: a general approach to inferring errors in systems code},
  booktitle = {Proceedings of the ACM Symposium on Operating Systems Principles (SOSP)},
  year = {2001},
  pages = {57--72},
  doi = {http://doi.acm.org/10.1145/502034.502041},
  isbn = {1-58113-389-8},
  location = {Banff, Alberta, Canada},
}

@PHDTHESIS{ernst00:dynamically,
  author = {Michael D. Ernst},
  title = {Dynamically Discovering Likely Program Invariants},
  school = {University of Washington Department of Computer Science and Engineering},
  year = {2000},
  type = {{Ph.D.}},
  address = {Seattle, Washington},
  month = {August},
}

@ARTICLE{ernst01:dynamically,
  author = {Michael D. Ernst and Jake Cockrell and William G. Griswold and David Notkin},
  title = {Dynamically Discovering Likely Program Invariants to Support Program Evolution},
  journal = {IEEE Transactions on Software Engineering},
  year = {2001},
  volume = {27},
  pages = {99--123},
  number = {2},
  doi = {http://dx.doi.org/10.1109/32.908957},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{flanagan02:extended,
  author = {Cormac Flanagan and K. Rustan M. Leino and
     Mark Lillibridge and Greg Nelson and James B. Saxe and Raymie Stata},
  title = {Extended static checking for {Java}},
  booktitle = {Proceedings the ACM SIGPLAN
     Conference on Programming Language Design and Implementation (PLDI)},
  year = {2002},
  pages = {234--245},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/512529.512558},
  isbn = {1-58113-463-0},
  location = {Berlin, Germany},
}

@BOOK{fowler99:refactoring,
  title = {Refactoring: Improving the Design of Existing Code},
  publisher = {Addison Wesley},
  year = {1999},
  author = {Martin Fowler},
}

@ARTICLE{frankl93:experimental,
  author = {Phyllis G. Frankl and Stewart N. Weiss},
  title = {An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing},
  journal = {IEEE Transactions on Software Engineering},
  year = {1993},
  volume = {19},
  pages = {774--787},
  number = {8},
  month = {August},
}

@ARTICLE{fredkin60:trie,
  author = {Edward Fredkin},
  title = {Trie memory},
  journal = {Communications of ACM},
  year = {1960},
  volume = {3},
  pages = {490--499},
  number = {9},
  doi = {http://doi.acm.org/10.1145/367390.367400},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@UNPUBLISHED{gallagher02:integration,
  author = {Len Gallagher and Jeff Offutt},
  title = {Integration Testing of Object-oriented Components Using Finite State Machines},
  note = {Draft under review},
  month = {March},
  year = {2002},
  url = {http://www.isse.gmu.edu/faculty/ofut/rsrch/abstracts/oocomptest.html},
}

@MISC{junit03,
  author = {Erich Gamma and Kent Beck},
  title = {{JU}nit},
  year = {2003},
  note = {\newurl{http://www.junit.org}},
  keywords = {testing},
}

@ARTICLE{gannon81:data,
  author = {John Gannon and Paul McMullin and Richard Hamlet},
  title = {Data Abstraction, Implementation, Specification, and Testing},
  journal = {ACM Transactions on Programming Languages and Systems},
  year = {1981},
  volume = {3},
  pages = {211--223},
  number = {3},
  doi = {http://doi.acm.org/10.1145/357139.357140},
  issn = {0164-0925},
  publisher = {ACM Press},
}

@ARTICLE{gansner00:open,
  author = {Emden R. Gansner and Stephen C. North},
  title = {An open graph visualization system and its applications to software engineering},
  journal = {Software - Practice and Experience},
  year = {2000},
  volume = {30},
  pages = {1203--1233},
  number = {11},
  month = {Sept.},
}

@INPROCEEDINGS{godefroid97:model,
  author = {Patrice Godefroid},
  title = {Model checking for programming languages using {V}eriSoft},
  booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
  year = {1997},
  pages = {174--186},
}

@MISC{godfrey03:axioms,
  author = {Michael Godfrey and Jo Anne Atlee and Daniel Berry},
  title = {Algebraic Abstract Data Types class note},
  howpublished = {Online course materials},
  year = {2003},
  note = {\newurl{http://www.student.cs.uwaterloo.ca/~cs445/handouts/lectureSlides/W03/}},
}

@ARTICLE{goodenough75:toward,
  author = {John B. Goodenough and Susan L. Gerhart},
  title = {Toward a Theory of Test Data Selection},
  journal = {IEEE Transactions Software Engineering},
  year = {1975},
  volume = {1},
  pages = {156-173},
  number = {2},
}

@INPROCEEDINGS{gotlieb03:exploiting,
  author = {Arnaud Gotlieb},
  title = {Exploiting Symmetries to Test Programs},
  booktitle = {Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE)},
  year = {2003},
  address = {Denver, Colorado},
  month = {November},
}

@INPROCEEDINGS{gotlieb98:automatic,
  author = {Arnaud Gotlieb and Bernard Botella and Michel Rueher},
  title = {Automatic test data generation using constraint solving techniques},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1998},
  pages = {53--62},
  location = {Clearwater Beach, Florida},
}

@INPROCEEDINGS{graf97:construction,
  author = {Susanne Graf and Hassen Saidi},
  title = {Construction of Abstract State Graphs with {PVS}},
  booktitle = {Proceedings of the International Conference on Computer Aided Verification (CAV)},
  year = {1997},
  pages = {72--83},
}

@ARTICLE{graves01:empirical,
  author = {Todd L. Graves and Mary
     Jean Harrold and Jung-Min Kim and Adam Porter and Gregg Rothermel},
  title = {An empirical study of regression test selection techniques},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {2001},
  volume = {10},
  pages = {184--208},
  number = {2},
}

@ARTICLE{graves00:predicting,
  author = {Todd L. Graves and Alan F. Karr and J. S. Marron and Harvey Siy},
  title = {Predicting Fault Incidence Using Software Change History},
  journal = {IEEE Transactions on Software Engineering},
  year = {2000},
  volume = {26},
  pages = {653--661},
  number = {7},
  doi = {http://dx.doi.org/10.1109/32.859533},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{grieskamp02:generating,
  author = {Wolfgang Grieskamp and Yuri Gurevich and Wolfram Schulte and Margus Veanes},
  title = {Generating finite state machines from abstract state machines},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2002},
  pages = {112--122},
  doi = {http://doi.acm.org/10.1145/566172.566190},
  isbn = {1-58113-562-9},
  location = {Roma, Italy},
}

@ARTICLE{griswold93:autoamted,
  author = {William G. Griswold and David Notkin},
  title = {Automated assistance for program restructuring},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1993},
  volume = {2},
  pages = {228--269},
  number = {3},
  doi = {http://doi.acm.org/10.1145/152388.152389},
  issn = {1049-331X},
  publisher = {ACM Press},
}

@INPROCEEDINGS{gupta03:generating,
  author = {Neelam Gupta},
  title = {Generating Test Data for Dynamically Discovering Likely Program Invariants},
  booktitle = {Proceedings of the ICSE Workshop on Dynamic Analysis (WODA)},
  year = {2003},
  pages = {21--24},
  month = {May},
  location = {Portland, Oregon},
}

@INPROCEEDINGS{gupta03:new,
  author = {Neelam Gupta and Zachary V. Heidepriem},
  title = {A New Structural Coverage Criteria for Dynamic Detection of Program Invariants},
  booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
  year = {2003},
  pages = {49--58},
  publisher = {IEEE Computer Society},
  location = {Montreal, Canada},
}

@INPROCEEDINGS{gupta98:automated,
  author = {Neelam Gupta and Aditya P. Mathur and Mary Lou Soffa},
  title = {Automated test data generation using an iterative relaxation method},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
  year = {1998},
  pages = {231--244},
  doi = {http://doi.acm.org/10.1145/288195.288321},
  isbn = {1-58113-108-9},
  location = {Lake Buena Vista, Florida, United States},
}

@ARTICLE{guttag78:algebraic,
  author = {John V. Guttag and James J. Horning},
  title = {The Algebraic Specification of Abstract Data Types},
  journal = {Acta Informatica},
  year = {1978},
  volume = {10},
  pages = {27--52},
}

@ARTICLE{hamlet77:testing,
  author = {Richard G. Hamlet},
  title = {Testing Programs with the Aid of a Compiler},
  journal = {IEEE Transactions on Software Engineering},
  year = {1977},
  volume = {3},
  pages = {279-290},
  number = {4},
}

@INPROCEEDINGS{hangal02:tracking,
  author = {Sudheendra Hangal and Monica S. Lam},
  title = {Tracking down software bugs using automatic anomaly detection},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2002},
  pages = {291--301},
  doi = {http://doi.acm.org/10.1145/581339.581377},
  isbn = {1-58113-472-X},
  location = {Orlando, Florida},
}

@INPROCEEDINGS{harder03:improving,
  author = {Michael Harder and Jeff Mellen and Michael D. Ernst},
  title = {Improving test suites via operational abstraction},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2003},
  pages = {60--71},
  isbn = {0-7695-1877-X},
  location = {Portland, Oregon},
}

@INPROCEEDINGS{harrold01:regression,
  author = {Mary Jean Harrold and
     James A. Jones and Tongyu Li and Donglin Liang and Ashish Gujarathi},
  title = {Regression test selection for {Java} software},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on
     Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
  year = {2001},
  pages = {312--326},
  location = {Tampa Bay, FL},
}

@ARTICLE{harrold01:empirical,
  author = {Mary Jean Harrold and David Rosenblum and Gregg Rothermel and Elaine Weyuker},
  title = {Empirical Studies of a Prediction Model for Regression Test Selection},
  journal = {IEEE Transactions on Software Engineering},
  year = {2001},
  volume = {27},
  pages = {248--263},
  number = {3},
  doi = {http://dx.doi.org/10.1109/32.910860},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{harrold94:performing,
  author = {Mary Jean Harrold and Gregg Rothermel},
  title = {Performing data flow testing on classes},
  booktitle = {Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE)},
  year = {1994},
  pages = {154--163},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/193173.195402},
  isbn = {0-89791-691-3},
  location = {New Orleans, Louisiana, United States},
}

@ARTICLE{harrold00:empirical,
  author = {Mary Jean Harrold and Gregg Rothermel and Kent Sayre and Rui Wu and Liu Yi},
  title = {An Empirical Investigation of
     the Relationship Between Spectra Differences and Regression Faults},
  journal = {Journal of Software Testing, Verification and Reliability},
  year = {2000},
  volume = {10},
  pages = {171--194},
  number = {3},
}

@INPROCEEDINGS{heimdahl04:test,
  author = {Mats P.E. Heimdahl and George Devaraj},
  title = {Test-suite Reduction for Model
     Based Tests: Effects on test quality and Implications for Testing},
  booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
  year = {2004},
  pages = {176--185},
  address = {Linz, Austria},
  month = {September},
}

@TECHREPORT{henkel04:case,
  author = {Johannes Henkel and Amer Diwan},
  title = {Case Study: Debugging a Discovered
     Specification for java.util.{A}rray{L}ist by Using Algebraic Interpretation},
  institution = {University of Colorado at Boulder},
  year = {2004},
  number = {CU-CS-970-04},
}

@INPROCEEDINGS{henkel04:tool,
  author = {Johannes Henkel and Amer Diwan},
  title = {A Tool for Writing and Debugging Algebraic Specifications},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2004},
  pages = {449--458},
}

@INPROCEEDINGS{henzinger2003:software,
  author = {Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar and Gregoire Sutre},
  title = {Software Verification with {BLAST}},
  booktitle = {Proceedings of the SPIN Workshop on Software Model Checking (SPIN)},
  year = {2003},
  pages = {235--239}
}

@INPROCEEDINGS{hildebrandt00:simplifying,
  author = {Ralf Hildebrandt and Andreas Zeller},
  title = {Simplifying failure-inducing input},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2000},
  pages = {135--145},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/347324.348938},
  isbn = {1-58113-266-2},
  location = {Portland, Oregon, United States},
}

@INPROCEEDINGS{hilsdale04:advice,
  author = {Erik Hilsdale and Jim Hugunin},
  title = {Advice weaving in {A}spect{J}},
  booktitle = {Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD)},
  year = {2004},
  pages = {26--35},
  doi = {http://doi.acm.org/10.1145/976270.976276},
  isbn = {1-58113-842-3},
  location = {Lancaster, UK},
}

@ARTICLE{hoare69:axiomatic,
  author = {C. A. R. Hoare},
  title = {An axiomatic basis for computer programming},
  journal = {Communications of ACM},
  year = {1969},
  volume = {12},
  pages = {576--580},
  number = {10},
  doi = {http://doi.acm.org/10.1145/363235.363259},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@MISC{hoffman98:taxonomy,
  author = {Douglas Hoffman},
  title = {A Taxonomy for Test Oracles},
  howpublished = {Tutorial at 11th International Software Quality Week},
  year = {1998},
  url = {http://softwarequalitymethods.com/SQM/Papers/ATaxonomyPaper.pdf},
}

@INPROCEEDINGS{hong95:testing,
  author = {Hyoung Seok Hong and Yong Rae Kwon and Sung Deok Cha},
  title = {Testing of Object-Oriented Programs Based on Finite State Machines},
  booktitle = {Proceedings of the Asia-Pacific Software Engineering Conference (APSEC)},
  year = {1995},
  pages = {234--241},
  isbn = {0-8186-4600-4},
}

@INPROCEEDINGS{horwitz02:tool,
  author = {Susan B. Horwitz},
  title = {Tool Support for Improving Test Coverage},
  booktitle = {Proceedings of the European Symposium on Programming (ESOP)},
  year = {2002},
  pages = {162--177},
  address = {Grenoble, France},
  month = {April},
}

@ARTICLE{howden82:weak,
  author = {William E. Howden},
  title = {Weak mutation testing and completeness of test sets},
  journal = {IEEE Transactions on Software Engineering},
  year = {1982},
  volume = {8},
  pages = {371--379},
  number = {4},
  month = {July},
  publisher = {IEEE Press},
}

@ARTICLE{huang75:approach,
  author = {J. C. Huang},
  title = {An Approach to Program Testing},
  journal = {ACM Computing Surveys},
  year = {1975},
  volume = {7},
  pages = {113--128},
  number = {3},
}

@INPROCEEDINGS{hughes96:datistish,
  author = {Merlin Hughes and David Stotts},
  title = {Daistish: systematic
     algebraic testing for OO programs in the presence of side-effects},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1996},
  pages = {53--61},
  doi = {http://doi.acm.org/10.1145/229000.226301},
  isbn = {0-89791-787-1},
  location = {San Diego, California, United States},
}

@INPROCEEDINGS{hutchins94:experiments,
  author = {Monica Hutchins and Herb Foster and Tarak Goradia and Thomas Ostrand},
  title = {Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1994},
  pages = {191--200},
  isbn = {0-8186-5855-X},
  location = {Sorrento, Italy},
}

@INPROCEEDINGS{iosif02:symmetry,
  author = {Radu Iosif},
  title = {Symmetry Reduction Criteria for Software Model Checking},
  booktitle = {Proceedings of the SPIN Workshop on Software Model Checking (SPIN)},
  year = {2002},
  volume = {2318},
  series = {LNCS},
  pages = {22--41},
  month = {July}
}

@INPROCEEDINGS{jaramillo02:debugging,
  author = {Clara Jaramillo and Rajiv Gupta and Mary Lou Soffa},
  title = {Debugging and Testing Optimizers through Comparison Checking},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  year = {2002},
  editor = {Jens Knoop and Wolf Zimmermann},
  volume = {65},
  publisher = {Elsevier},
  issue = {2},
}

@ARTICLE{johnson74:approximation,
  author = {D. S. Johnson},
  title = {Approximation Algorithms for Combinatorial Problems},
  journal = {Journal of Computer and System Sciences},
  year = {1974},
  volume = {9},
  pages = {256--278},
}

@INPROCEEDINGS{jones01:test,
  author = {James A. Jones and Mary Jean Harrold},
  title = {Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage},
  booktitle = {Proceedings of the IEEE International Conference on Software Maintenance (ICSM)},
  year = {2001},
  pages = {92},
}

@INPROCEEDINGS{jones02:visualization,
  author = {James A. Jones and Mary Jean Harrold and John Stasko},
  title = {Visualization of test information to assist fault localization},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2002},
  pages = {467--477},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/581339.581397},
  isbn = {1-58113-472-X},
  location = {Orlando, Florida},
}

@BOOK{kaner02:lessions,
  title = {Lessons Learned in Software Testing},
  publisher = {Wiley \& Sons},
  year = {2002},
  author = {Cem Kaner and James Bach and Bret Pettichord},
}

@ARTICLE{karlsson97:cost,
  author = {Joachim Karlsson and Kevin Ryan},
  title = {A Cost-Value Approach for Prioritizing Requirements},
  journal = {IEEE Software},
  year = {1997},
  volume = {14},
  pages = {67--74},
  number = {5},
  doi = {http://dx.doi.org/10.1109/52.605933},
  issn = {0740-7459},
  publisher = {IEEE Computer Society Press},
}

@INPROCEEDINGS{khurshid03:generalized,
  author = {Sarfraz Khurshid and Corina S. Pasareanu and Willem Visser},
  title = {Generalized symbolic execution for model checking and testing},
  booktitle = {Proceedings of the International Conference on
     Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year = {2003},
  pages = {553--568},
  month = {April},
  location = {Warsaw, Poland},
}

@INCOLLECTION{kiczales97:aspect,
  author = {Gregor Kiczales and John Lamping and Anurag Menhdhekar and Chris
     Maeda and Cristina Lopes and Jean-Marc Loingtier and John Irwin},
  title = {Aspect-Oriented Programming},
  booktitle = {Proceedings of the European Conference on Object-Oriented Programming (ECOOP)},
  year = {1997},
  pages = {220--242},
}

@INPROCEEDINGS{kim02:history,
  author = {Jung-Min Kim and Adam Porter},
  title = {A history-based test prioritization
     technique for regression testing in resource constrained environments},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2002},
  pages = {119--129},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/581339.581357},
  isbn = {1-58113-472-X},
  location = {Orlando, Florida},
}

@ARTICLE{king76:symbolic,
  author = {James C. King},
  title = {Symbolic Execution and Program Testing},
  journal = {Communications of ACM},
  year = {1976},
  volume = {19},
  pages = {385--394},
  number = {7},
}

@ARTICLE{korel90:automated,
  author = {Bogdan Korel},
  title = {Automated Software Test Data Generation},
  journal = {IEEE Transactions on Software Engineering},
  year = {1990},
  volume = {16},
  pages = {870--879},
  number = {8},
}

@INPROCEEDINGS{korel98:automated,
  author = {Bogdan Korel and Ali M. Al-Yami},
  title = {Automated regression test generation},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1998},
  pages = {143--152},
  location = {Clearwater Beach, Florida},
}

@INPROCEEDINGS{korel96:assertion,
  author = {Bogdan Korel and Ali M. Al-Yami},
  title = {Assertion-oriented automated test data generation},
  booktitle = {Proceedings of the International Conference on Software Engineering (ASE)},
  year = {1996},
  pages = {71--80},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-7246-3},
  location = {Berlin, Germany},
}

@INPROCEEDINGS{krishnamurthi04:verifying,
  author = {Shriram Krishnamurthi and Kathi Fisler and Michael Greenberg},
  title = {Verifying Aspect Advice Modularly},
  booktitle = {Proceedings of the International Symposium on the Foundations of Software Engineering (FSE)},
  year = {2004},
  month = {November},
}

@INPROCEEDINGS{kropp98:automated,
  author = {Nathan P. Kropp and Philip J. Koopman Jr. and Daniel P. Siewiorek},
  title = {Automated Robustness Testing of Off-the-Shelf Software Components},
  booktitle = {Proceedings of the IEEE International Symposium on Fault Tolerant Computing (FTCS)},
  year = {1998},
  pages = {230--239},
}

@INPROCEEDINGS{kung94:object,
  author = {David Kung and Nimish Suchak and Jerry Gao and Pei Hsia},
  title = {On object state testing},
  booktitle = {Proceedings of the International Computer Software and Applications Conference (COMPSAC)},
  year = {1994},
  pages = {222--227},
}

@BOOK{laddad03:aspectj,
  title = {{A}spect{J} in Action},
  publisher = {Manning},
  year = {2003},
  author = {Ramnivas Laddad},
  isbn = {193011},
}

@INPROCEEDINGS{law03:whole,
  author = {James Law and Gregg Rothermel},
  title = {Whole program Path-Based dynamic impact analysis},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2003},
  pages = {308--318},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1877-X},
  location = {Portland, Oregon},
}

@TECHREPORT{leavens98:preliminary,
  author = {Gary T. Leavens and Albert L. Baker and Clyde Ruby},
  title = {Preliminary Design of
     {JML}: {A} Behavioral Interface Specification Language for {Java}},
  institution = {Department of Computer Science, Iowa State University},
  year = {1998},
  number = {TR 98-06i},
  month = Jun,
  url = {citeseer.nj.nec.com/leavens99preliminary.html},
}

@INPROCEEDINGS{lee96:principles,
  author = {David Lee and Mihalis Yannakakis},
  title = {Principles and Methods of Testing Finite State Machines - {A} Survey},
  booktitle = {Proceeding of The {IEEE}},
  year = {1996},
  volume = {84},
  number = {8},
  pages = {1090--1123},
  month = aug,
}

@INPROCEEDINGS{Utting02,
  author = {B. Legeard and F. Peureux and M. Utting},
  title = {{A comparison of the LIFC/B and TTF/Z test-generation methods}},
  booktitle = {Proceedings of the 2nd International Z and B Conference (ZB)},
  year = {2002},
  pages = {309--329},
  month = {January},
  optvolume = {LNCS 2272},
}

@INPROCEEDINGS{leung91:cost,
  author = {H.K.N. Leung and L.J. White},
  title = {A cost model to compare regression test strategies},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {1991},
  pages = {201--208},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1819-2},
}

@INPROCEEDINGS{liblit03:bug,
  author = {Ben Liblit and Alex Aiken and Alice X. Zheng and Michael I. Jordan},
  title = {Bug isolation via remote program sampling},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
  year = {2003},
  pages = {141--154},
  doi = {http://doi.acm.org/10.1145/781131.781148},
  isbn = {1-58113-662-5},
  location = {San Diego, CA},
}

@ARTICLE{lieberherr01:aspect,
  author = {Karl Lieberherr and Doug Orleans and Johan Ovlinger},
  title = {Aspect-oriented programming with adaptive methods},
  journal = {Communications of ACM},
  year = {2001},
  volume = {44},
  pages = {39--41},
  number = {10},
}

@BOOK{liskov00:program,
  title = {Program Development in {Java}: Abstraction, Specification, and Object-Oriented Design},
  publisher = {Addison-Wesley},
  year = {2000},
  author = {Barbara Liskov and John Guttag},
}

@INCOLLECTION{mackinnon01:endo,
  author = {Tim Mackinnon and Steve Freeman and Philip Craig},
  title = {Endo-Testing: Unit Testing with Mock Objects},
  booktitle = {Extreme Programming Examined},
  publisher = {Addison-Wesley},
  year = {2001},
}

@INPROCEEDINGS{malishevsky02:modeling,
  author = {Alexey G. Malishevsky and Gregg Rothermel and Sebastian G. Elbaum},
  title = {Modeling the Cost-Benefits Tradeoffs for Regression Testing Techniques},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {2002},
  pages = {204},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1819-2},
}

@INPROCEEDINGS{marinov01:testera,
  author = {Darko Marinov and Sarfraz Khurshid},
  title = {Test{E}ra: A Novel Framework for Automated Testing of {J}ava Programs},
  booktitle = {Proceedings of the International Conference on Automated Software Engineering (ASE)},
  year = {2001},
  pages = {22--31},
}

@INPROCEEDINGS{marinov03:object,
  author = {Darko Marinov and Robert O'Callahan},
  title = {Object equality profiling},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on
     Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA)},
  year = {2003},
  pages = {313--325},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/949305.949333},
  isbn = {1-58113-712-5},
  location = {Anaheim, CA},
}

@INPROCEEDINGS{mccamant03:predicting,
  author = {Stephen McCamant and Michael D. Ernst},
  title = {Predicting problems caused by component upgrades},
  booktitle = {Proceedings of European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year = {2003},
  pages = {287--296},
  location = {Helsinki, Finland},
}

@BOOK{mcmillan93:symbolic,
  title = {Symbolic Model Checking},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  author = {Kenneth L. McMillan},
}

@PHDTHESIS{mcmillan1992:phd,
  author = {Kenneth L. McMillan},
  title = {Symbolic Model Checking},
  school = {Carnegie Mellon University},
  year = {1992},
  type = {{Ph.D.}},
  address = {Pittsburgh, PA},
  month = {May},
}


@PHDTHESIS{memon01:comprehensive,
  author = {Atif M. Memon},
  title = {A Comprehensive Framework for Testing Graphical User Interfaces},
  school = {University of Pittsburgh},
  year = {2001},
  type = {{Ph.D.}},
  address = {Pittsburgh, PA},
  month = {July},
}

@INPROCEEDINGS{memon03:what,
  author = {Atif M. Memon and Ishan Banerjee and Adithya Nagarajan},
  title = {What Test Oracle Should {I} use for Effective {GUI} Testing?},
  booktitle = {Proceedings of the International Conference on Automated Software Engineering (ASE)},
  year = {2003},
  pages = {164--173},
  location = {Montreal, Canada},
}

@INPROCEEDINGS{memon00:automated,
  author = {Atif M. Memon and Martha E. Pollack and Mary Lou Soffa},
  title = {Automated test oracles for GUIs},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
  year = {2000},
  pages = {30--39},
  location = {San Diego, California},
}

@INPROCEEDINGS{memon03:regression,
  author = {Atif M. Memon and Mary Lou Soffa},
  title = {Regression testing of GUIs},
  booktitle = {Proceedings of the European Software Engineering Conference and the ACM
     SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE)},
  year = {2003},
  pages = {118--127},
  location = {Helsinki, Finland},
}

@BOOK{meyer88:object,
  title = {Object-Oriented Software Construction},
  publisher = {Prentice Hall},
  year = {1988},
  author = {Bertrand Meyer},
}

@BOOK{meyer92:eiffel,
  title = {Eiffel: The Language},
  publisher = {Prentice Hall},
  year = {1992},
  author = {Bertrand Meyer},
}

@ARTICLE{miller90:empirical,
  author = {Barton P. Miller and Louis Fredriksen and Bryan So},
  title = {An empirical study of the reliability of UNIX utilities},
  journal = {Communications of ACM},
  year = {1990},
  volume = {33},
  pages = {32--44},
  number = {12},
  issn = {0001-0782},
}

@INPROCEEDINGS{musuvathi02:cmc,
  author = {Madanlal Musuvathi and
     David Park and Andy Chou and Dawson R. Engler and David L. Dill},
  title = {{CMC}: A Pragmatic Approach to Model Checking Real Code},
  booktitle = {Proceedings of the Symposium on Operating Systems Design and Implementation (OSDI)},
  year = {2002},
  pages = {75--88},
  month = {December},
  location = {Boston, Massachusetts},
}

@BOOK{myers79:art,
  title = {Art of Software Testing},
  publisher = {John Wiley \& Sons, Inc.},
  year = {1979},
  author = {Glenford J. Myers},
  isbn = {0471043281},
}

@INPROCEEDINGS{nguyen98:design,
  author = {Dung Nguyen},
  title = {Design patterns for data structures},
  booktitle = {Proceedings of the Technical Symposium on Computer Science Education (SIGCSE)},
  year = {1998},
  pages = {336--340},
  doi = {http://doi.acm.org/10.1145/273133.274325},
  isbn = {0-89791-994-7},
  location = {Atlanta, Georgia, United States},
}

@inproceedings{nimmer01:static,
   author = {Jeremy W. Nimmer and Michael D. Ernst},
   title = {Static verification of dynamically detected program
    invariants: Integrating {Daikon} and {ESC}/{Java}},
   booktitle = {Proceedings of the Workshop on Runtime Verification (RV)},
   address = {Paris, France},
   month = {July},
   year = {2001},
}

@INPROCEEDINGS{notkin02:longitudinal,
  author = {David Notkin},
  title = {Longitudinal Program Analysis},
  booktitle = {Proceedings of the ACM SIGPLAN-SIGSOFT
     Workshop on Program Analysis for Software Tools and Engineering (PASTE)},
  year = {2002},
  pages = {1--1},
  location = {Charleston, South Carolina},
}

@ARTICLE{ostrand88:category,
  author = {T. J. Ostrand and M. J. Balcer},
  title = {The category-partition method for specifying and generating functional tests},
  journal = {Communications of ACM},
  year = {1988},
  volume = {31},
  pages = {676--686},
  number = {6},
  doi = {http://doi.acm.org/10.1145/62959.62964},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@INPROCEEDINGS{ostrand98:visual,
  author = {Thomas Ostrand and Aaron Anodide and Herbert Foster and Tarak Goradia},
  title = {A visual test development environment for GUI systems},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1998},
  pages = {82--92},
  location = {Clearwater Beach, Florida},
}

@INPROCEEDINGS{ostrand04:using,
  author = {Thomas J. Ostrand and Elaine J. Weyuker and Robert M. Bell },
  title = {Using Static Analysis to Determine Where to Focus Dynamic Testing Effort},
  booktitle = {Proceedings of the International Workshop on Dynamic Analysis (WODA)},
  year = {2004},
  pages = {1--8},
  location = {Edinburgh, Scotland},
}

@INPROCEEDINGS{ostrand04:where,
  author = {Thomas J. Ostrand and Elaine J. Weyuker and Robert M. Bell },
  title = {Where the Bugs Are},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2004},
  location = {Boston, Massachusetts},
}

@MISC{pacheco04:eclattool,
  author = {Carlos Pacheco and Michael D. Ernst},
  title = {Eclat documents},
  howpublished = {Online manual},
  month = {Oct.},
  year = {2004},
  note = {\newurl{http://people.csail.mit.edu/people/cpacheco/eclat/}},
  url = {http://people.csail.mit.edu/people/cpacheco/eclat/},
}


@inproceedings{pacheco05:eclat,
   author = {Carlos Pacheco and Michael D. Ernst},
   title = {Eclat: Automatic generation and classification of test inputs},
   booktitle = {Proceedings of the European Conference on Object-Oriented Programming (ECOOP)},
   address = {Glasgow, Scotland},
   month = {July},
   pages = {504--527},
   year = {2005},
}


@ARTICLE{panzl75:automatic,
  author = {David J. Panzl},
  title = {Automatic Software Test Drivers},
  journal = {Computer},
  year = {1978},
  volume = {11},
  pages = {44--50},
  number = {4},
  month = {April},
}

@MISC{parasoft02:jcontract,
  author = {Parasoft},
  title = {Jcontract manuals version 1.5},
  howpublished = {Online manual},
  month = {October},
  year = {2002},
  note = {\newurl{http://www.parasoft.com/}},
}

@INPROCEEDINGS{depauw02:visualizing,
  author = {Wim De Pauw and Erik Jensen and Nick
     Mitchell and Gary Sevitsky and John M. Vlissides and Jeaha Yang},
  title = {Visualizing the Execution of {Java} Programs},
  booktitle = {Revised Lectures on Software Visualization, International Seminar},
  year = {2002},
  pages = {151--162},
  isbn = {3-540-43323-6},
}

@INPROCEEDINGS{pavlopoulou99:residual,
  author = {Christina Pavlopoulou and Michal Young},
  title = {Residual test coverage monitoring},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1999},
  pages = {277--284},
  location = {Los Angeles, California},
}

@ARTICLE{pugh92:practical,
  author = {William Pugh},
  title = {A practical algorithm for exact array dependence analysis},
  journal = {Communications of ACM},
  year = {1992},
  volume = {35},
  pages = {102--114},
  number = {8},
  doi = {http://doi.acm.org/10.1145/135226.135233},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@ARTICLE{ramamoorthy76:automated,
  author = {C. Ramamoorthy and S. Ho and W. Chert},
  title = {On the automated generation of program test data},
  journal = {IEEE Transactions on Software Engineering},
  year = {1976},
  volume = {2},
  pages = {293-300},
  number = {4},
}

@INPROCEEDINGS{reese97:software,
  author = {Jon Damon Reese and Nancy G. Leveson},
  title = {Software deviation analysis},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1997},
  pages = {250--260},
  doi = {http://doi.acm.org/10.1145/253228.253281},
  isbn = {0-89791-914-9},
  location = {Boston, Massachusetts, United States},
}

@INPROCEEDINGS{reiss01:encoding,
  author = {Steven P. Reiss and Manos Renieris},
  title = {Encoding program executions},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2001},
  pages = {221--230},
  isbn = {0-7695-1050-7},
  location = {Toronto, Ontario, Canada},
}

@INPROCEEDINGS{reps97:use,
  author = {Thomas Reps and Thomas Ball and Manuvir Das and James Larus},
  title = {The use of program profiling for
     software maintenance with applications to the year 2000 problem},
  booktitle = {Proceedings of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year = {1997},
  pages = {432--449},
  doi = {http://doi.acm.org/10.1145/267895.267925},
  isbn = {3-540-63531-9},
}

@INPROCEEDINGS{richardson94:taos,
  author = {Debra J. Richardson},
  title = {{TAOS}: {T}esting with Analysis and Oracle Support},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1994},
  pages = {138--153},
  location = {Seattle, Washington},
}

@INPROCEEDINGS{richardson92:specification,
  author = {Debra J. Richardson and Stephanie Leif Aha and T. Owen O'Malley},
  title = {Specification-based test oracles for reactive systems},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1992},
  pages = {105--118},
  location = {Melbourne, Australia},
}

@INPROCEEDINGS{rinard04:classification,
  author = {Martin Rinard and Alexandru Salcianu and Suhabe Bugrara},
  title = {A Classification System and Analysis for Aspect-Oriented Programs},
  booktitle = {Proceedings of the International Symposium on the Foundations of Software Engineering (FSE)},
  year = {2004},
  month = {November},
}

@INPROCEEDINGS{robby03:bogor,
  author = {Robby and Matthew B. Dwyer and John Hatcliff},
  title = {Bogor: {A}n extensible and highly-modular software model checking framework},
  booktitle = {Proceedings of the European Software Engineering Conference and
     SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE)},
  year = {2003},
  pages = {267--276},
  location = {Helsinki, Finland},
}

@article{robby03:space,
  author    = {Robby and
               Matthew B. Dwyer and
               John Hatcliff and
               Radu Iosif},
  title     = {Space-Reduction Strategies for Model Checking Dynamic Software.},
  journal   = {Electronic Notes in Theoretical Computer Science},
  volume    = {89},
  number    = {3},
  year      = {2003},
  ee        = {http://www.elsevier.com/gej-ng/31/29/23/141/23/show/Products/notes/index.htt\#009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{rosenblum92:towards,
  author = {David S. Rosenblum},
  title = {Towards a method of programming with assertions},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1992},
  pages = {92--104},
  doi = {http://doi.acm.org/10.1145/143062.143098},
  isbn = {0-89791-504-6},
  location = {Melbourne, Australia},
}

@ARTICLE{rosenblum97:coverage,
  author = {David S. Rosenblum and Elaine J. Weyuker},
  title = {Using Coverage Information to
     Predict the Cost-Effectiveness of Regression Testing Strategies},
  journal = {IEEE Transactions on Software Engineering},
  year = {1997},
  volume = {23},
  pages = {146--156},
  number = {3},
  doi = {http://dx.doi.org/10.1109/32.585502},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{rothermel02:impact,
  author = {Gregg Rothermel and Sebastian
     Elbaum and Alexey Malishevsky and Praveen Kallakuri and Brian Davia},
  title = {The impact of test suite granularity on the cost-effectiveness of regression testing},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2002},
  pages = {130--140},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/581339.581358},
  isbn = {1-58113-472-X},
  location = {Orlando, Florida},
}

@ARTICLE{rothermel97:safe,
  author = {Gregg Rothermel and Mary Jean Harrold},
  title = {A safe, efficient regression test selection technique},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1997},
  volume = {6},
  pages = {173--210},
  number = {2},
  doi = {http://doi.acm.org/10.1145/248233.248262},
  issn = {1049-331X},
}

@INPROCEEDINGS{rothermel98:empirical,
  author = {Gregg Rothermel and Mary Jean Harrold and Jeffery Ostrin and Christie Hong},
  title = {An Empirical Study of the Effects of
     Minimization on the Fault Detection Capabilities of Test Suites},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {1998},
  pages = {34--43},
  isbn = {0-8186-8779-7},
}

@ARTICLE{rothermel01:prioritizing,
  author = {Gregg Rothermel and Roland J. Untch and Chengyun Chu},
  title = {Prioritizing Test Cases For Regression Testing},
  journal = {IEEE Transactions on Software Engineering},
  year = {2001},
  volume = {27},
  pages = {929--948},
  number = {10},
  doi = {http://dx.doi.org/10.1109/32.962562},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{rountev04:precise,
  author = {Atanas Rountev},
  title = {Precise Identification of Side-effect-free Methods in {Java}},
  booktitle = {Proceedings of the IEEE International Conference on Software Maintenance (ICSM)},
  year = {2004},
  pages = {82--91},
  month = {Sept.},
}

@INPROCEEDINGS{rountev03:fragment,
  author = {Atanas Rountev and Ana Milanova and Barbara G. Ryder},
  title = {Fragment class analysis for testing of polymorphism in {Java} software},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2003},
  pages = {210--220},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1877-X},
  location = {Portland, Oregon},
}

@INPROCEEDINGS{saff04:automatic,
  author = {David Saff and Michael D. Ernst},
  title = {Automatic mock object creation for test factoring},
  booktitle = {Proceedings of the ACM SIGPLAN/SIGSOFT Workshop
     on Program Analysis for Software Tools and Engineering (PASTE)},
  year = {2004},
  pages = {49--51},
  address = {Washington, DC},
  month = {June},
}

@INPROCEEDINGS{saff03:reducing,
  author = {David Saff and Michael D. Ernst},
  title = {Reducing wasted development time via continuous testing},
  booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
  year = {2003},
  pages = {281--292},
  address = {Denver, CO},
  month = {November},
}

@TECHREPORT{salcianu01:pointer,
  author = {Alexandru Salcianu},
  title = {Pointer analysis and its applications for {J}ava programs},
  institution = {MIT Laboratory for Computer Science},
  year = {2001},
  type = {Master's thesis},
}

@TECHREPORT{salcianu04:purity,
  author = {Alexandru Salcianu and Martin Rinard},
  title = {A Combined Pointer and Purity Analysis for {Java} Programs},
  institution = {MIT CSAIL},
  year = {2004},
  number = {MIT-LCS-TR-949},
  address = {Cambridge, MA},
  month = May,
}

@INPROCEEDINGS{schlenker02:pooc,
  author = {Hans Schlenker and Georg Ringwelski},
  title = {{POOC}: A Platform for Object-Oriented Constraint Programming},
  booktitle = {Proceedings of the International
     Workshop on Constraint Solving and Constraint Logic Programming},
  year = {2002},
  pages = {159--170},
  month = {June},
  location = {Cork, Ireland},
}

@INPROCEEDINGS{schmid02:comprehensive,
  author = {Klaus Schmid},
  title = {A comprehensive product line scoping approach and its validation},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2002},
  pages = {593--603},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/581339.581415},
  isbn = {1-58113-472-X},
  location = {Orlando, Florida},
}

@INPROCEEDINGS{schroeder04:generating,
  author = {Patrick J. Schroeder and Pat Faherty and Bogdan Korel},
  title = {Generating expected results for automated black-box testing},
  booktitle = {Proceedings of the International Conference on Automated Software Engineering (ASE)},
  year = {2002},
  pages = {139--148},
  month = {September},
  location = {Edinburgh, UK},
}

@INPROCEEDINGS{souter01:incremental,
  author = {Amie L. Souter and Lori L. Pollock},
  title = {Incremental Call Graph Reanalysis for Object-Oriented Software Maintenance},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {2001},
  pages = {682--691},
  publisher = {IEEE Computer Society},
}

@INPROCEEDINGS{souter03:testing,
  author = {Amie L. Souter and David Shepherd and Lori L. Pollock},
  title = {Testing with Respect to Concerns},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {2003},
  pages = {54},
}

@INPROCEEDINGS{srivastava02:effectively,
  author = {Amitabh Srivastava and Jay Thiagarajan},
  title = {Effectively prioritizing tests in development environment},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2002},
  pages = {97--106},
  location = {Roma, Italy},
}

@MISC{stotts98:java,
  author = {David Stotts and David Kennedy and Sheila Knight and Tim Preston and Ibrahim Salama},
  title = {The Java Tester tool},
  month = {April},
  year = {1998},
  source = {http://www.cs.unc.edu/~stotts/danish/web/},
}

@INPROCEEDINGS{stotts02:jax,
  author = {David Stotts and Mark Lindsey and Angus Antley},
  title = {An informal formal method for systematic {JUnit} test case generation},
  booktitle = {Proceedings of the XP/Agile Universe Conference},
  year = {2002},
  pages = {131--143},
  location = {Chicago, Illinois, United States},
}

@INPROCEEDINGS{sullivan04:software,
  author = {Kevin Sullivan and Jinlin Yang and David Coppit and Sarfraz Khurshid and Daniel Jackson},
  title = {Software assurance by bounded exhaustive testing},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2004},
  pages = {133--142},
  location = {Boston, Massachusetts},
}

@BOOK{szyperski98:component,
  title = {Component Software: Beyond Object-Oriented Programming},
  publisher = {ACM Press and Addison-Wesley},
  year = {1998},
  author = {Clemens Szyperski},
  address = {New York, NY},
  annotate = {An excellent overview of component-based programming. Many references.},
  key = {Szperski},
}

@INPROCEEDINGS{tarr99:degrees,
  author = {Peri Tarr and Harold Ossher and William Harrison and Stanley M. Sutton, Jr.},
  title = {N degrees of separation: multi-dimensional separation of concerns},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1999},
  pages = {107--119},
}

@MISC{aspectj03:aspectj,
  author = {The AspectJ Team},
  title = {The {A}spect{J} Programming Guide},
  howpublished = {Online manual},
  year = {2003},
  url = {http://eclipse.org/aspectj/},
}

@INPROCEEDINGS{thompson93:information,
  author = {Margaret C. Thompson and Debra J. Richardson and Lori A. Clarke},
  title = {An information flow model of fault detection},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1993},
  pages = {182--192},
  doi = {http://doi.acm.org/10.1145/154183.154270},
  isbn = {0-89791-608-5},
  location = {Cambridge, Massachusetts, United States},
}

@INPROCEEDINGS{tonella04:evolutionary,
  author = {Paolo Tonella},
  title = {Evolutionary testing of classes},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2004},
  pages = {119--128},
  location = {Boston, Massachusetts},
}

@INPROCEEDINGS{turner93:state,
  author = {Christopher D. Turner and David J. Robson},
  title = {The State-Based Testing of Object-Oriented Programs},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {1993},
  pages = {302--310},
  isbn = {0-8186-4600-4},
}

@inproceedings{visser00:model,
 author = {Willem Visser and Klaus Havelund and Guillaume Brat and SeungJoon Park},
 title = {Model Checking Programs},
 booktitle = {Proceedings of the International Conference on Automated Software Engineering (ASE)},
 year = {2000},
 isbn = {0-7695-0710-7},
 pages = {3--12},
 volume = {00},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@INPROCEEDINGS{visser04:test,
  author = {Willem Visser and Corina S. Pasareanu and Sarfraz Khurshid},
  title = {Test input generation with {J}ava {P}ath{F}inder},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2004},
  pages = {97--107},
  isbn = {1-58113-820-2},
  location = {Boston, Massachusetts},
}

@INPROCEEDINGS{visser00:using,
  author = {William Visser and SeungJoon Park and John Penix},
  title = {Using predicate abstraction to reduce object-oriented programs for model checking},
  booktitle = {Proceedings of the Workshop on Formal Methods in Software Practice (FMSP)},
  year = {2000},
  pages = {3--182},
  doi = {http://doi.acm.org/10.1145/349360.351125},
  isbn = {1-58113-262-X},
  location = {Portland, Oregon, United States},
}

@INPROCEEDINGS{vivien01:incrementalized,
  author = {Frederic Vivien and Martin Rinard},
  title = {Incrementalized pointer and escape analysis},
  booktitle = {Proceedings of the ACM SIGPLAN
     Conference on Programming Language Design and Implementation (PLDI)},
  year = {2001},
  pages = {35--46},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/378795.378804},
  isbn = {1-58113-414-2},
  location = {Snowbird, Utah, United States},
}

@ARTICLE{voas92:pie,
  author = {Jeffrey M. Voas},
  title = {{PIE}: A Dynamic Failure-Based Technique},
  journal = {IEEE Transactions on Software Engineering},
  year = {1992},
  volume = {18},
  pages = {717--727},
  number = {8},
  doi = {http://dx.doi.org/10.1109/32.153381},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{weiser81:program,
  author = {Mark Weiser},
  title = {Program slicing},
  booktitle = {Proceedings of the International Conference on Software Engineering (ASE)},
  year = {1981},
  pages = {439--449},
  location = {San Diego, California, United States},
}

@BOOK{weiss99:data,
  title = {Data Structures and Algorithm Analysis in Java},
  publisher = {Addison Wesley},
  year = {1999},
  author = {Mark Allen Weiss},
}

@ARTICLE{weyuker80:theories,
  author = {Elaine J. Weyuker and Thomas J. Ostrand},
  title = {Theories of Program Testing and the Application of Revealing Subdomains},
  journal = {IEEE Transactions on Software Engineering},
  year = {1980},
  volume = {6},
  pages = {236-246},
  number = {3},
}

@INPROCEEDINGS{whaley02:automatic,
  author = {John Whaley and Michael C. Martin and Monica S. Lam},
  title = {Automatic extraction of object-oriented component interfaces},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2002},
  pages = {218--228},
  doi = {http://doi.acm.org/10.1145/566172.566212},
  isbn = {1-58113-562-9},
  location = {Roma, Italy},
}

@INPROCEEDINGS{wong97:study,
  author = {W. Eric Wong and Joseph R. Horgan and Saul London and Hira Agrawal Bellcore},
  title = {A Study of Effective Regression Testing in Practice},
  booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
  year = {1997},
  pages = {230--238},
}

@INPROCEEDINGS{wong95:effect,
  author = {W. Eric Wong and Joseph R. Horgan and Saul London and Aditya P. Mathur},
  title = {Effect of test set minimization on fault detection effectiveness},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1995},
  pages = {41--50},
  location = {Seattle, Washington},
}

@INPROCEEDINGS{wong97:test,
  author = {W. Eric Wong and Joseph R. Horgan and Aditya P. Mathur and Alberto Pasquini},
  title = {Test Set Size Minimization and
     Fault Detection Effectiveness: A Case Study in a Space Application},
  booktitle = {Proceedings of the International Computer Software and Applications Conference (COMPSAC)},
  year = {1997},
  pages = {522--528},
  month = {August},
}

@INPROCEEDINGS{xie04:special,
  author = {Tao Xie},
  title = {Automatic Identification of
     Common and Special Object-Oriented Unit Tests},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on
     Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
  year = {2004},
  pages = {324--325},
  note = {(Companion)},
  location = {Vancouver, BC, Canada},
}

@TECHREPORT{xie04:improving,
  author = {Tao Xie and Darko Marinov and David Notkin},
  title = {Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests},
  institution = {University of Washington Department of Computer Science and Engineering },
  year = {2004},
  type = {Technical Report},
  number = {UW-CSE-04-01-05},
  address = {Seattle, WA},
  month = {Jan.},
}

@INPROCEEDINGS{xie04:rostra,
  author = {Tao Xie and Darko Marinov and David Notkin},
  title = {Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests},
  booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year = {2004},
  pages = {196--205},
  month = Sep,
  location = {Linz, Austria},
}

@INPROCEEDINGS{xie05:symstra,
  author = {Tao Xie and Darko Marinov and Wolfram Schulte and David Notkin},
  title = {Symstra: A Framework
     for Generating Object-Oriented Unit Tests using Symbolic Execution},
  booktitle = {Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)},
  year = {2005},
  pages = {365--381},
  month = Apr,
  location = {Edinburgh, UK},
}

@INPROCEEDINGS{xie04:automatic,
  author = {Tao Xie and David Notkin},
  title = {Automatic Extraction of
     Object-Oriented Observer Abstractions from Unit-Test Executions},
  booktitle = {Proceedings of the International Conference on Formal Engineering Methods (ICFEM)},
  year = {2004},
  month = {Nov.},
  location = {Seattle, WA},
}

@INPROCEEDINGS{xie04:checking,
  author = {Tao Xie and David Notkin},
  title = {Checking inside the black box: Regression testing based on value spectra differences},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {2004},
  pages = {28-37},
  month = {September},
}

@INPROCEEDINGS{xie03:mutually,
  author = {Tao Xie and David Notkin},
  title = {Mutually Enhancing Test Generation and Specification Inference},
  booktitle = {Proceedings of the International Workshop on Formal Approaches to Testing of Software (FATES)},
  year = {2003},
  volume = {2931},
  series = {LNCS},
  pages = {60--69},
}

@INPROCEEDINGS{xie03:tool,
  author = {Tao Xie and David Notkin},
  title = {Tool-Assisted Unit Test Selection Based on Operational Violations},
  booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
  year = {2003},
  pages = {40--48},
  location = {Montreal, Canada},
}

@TECHREPORT{xie02:checking,
  author = {Tao Xie and David Notkin},
  title = {Checking Inside the Black Box: Regression
     Fault Exposure and Localization Based on Value Spectra Differences},
  institution = {University of Washington Department of Computer Science and Engineering },
  year = {2002},
  type = {Technical Report},
  number = {UW-CSE-02-12-04},
  address = {Seattle, WA},
  month = {December},
}

@INPROCEEDINGS{xu04:aspect,
  author = {Weifeng Xu and Dianxiang Xu and Vivek Goel and Ken Nygard},
  title = {Aspect Flow Graph for Testing Aspect-Oriented Programs},
  booktitle = {Proceedings of the IASTED International Conference on Software Engineering and Applications (SEA)},
  year = {2004},
}

@INPROCEEDINGS{yang04:dynamically,
  author = {Jinlin Yang and David Evans},
  title = {Dynamically inferring temporal properties},
  booktitle = {Proceedings of the ACM-SIGPLAN-SIGSOFT
     Workshop on Program Analysis for Software Tools and Engineering (PASTE)},
  year = {2004},
  pages = {23--28},
  doi = {http://doi.acm.org/10.1145/996821.996832},
  isbn = {1-58113-910-1},
  location = {Washington, DC},
}

@INPROCEEDINGS{yur99:incremental,
  author = {Jyh-shiarn Yur and Barbara G. Ryder and William A. Landi},
  title = {An incremental flow- and context-sensitive pointer aliasing analysis},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1999},
  pages = {442--451},
  publisher = {IEEE Computer Society Press},
  isbn = {1-58113-074-0},
  location = {Los Angeles, California, United States},
}

@INPROCEEDINGS{zeller02:isolating,
  author = {Andreas Zeller},
  title = {Isolating cause-effect chains from computer programs},
  booktitle = {Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE)},
  year = {2002},
  pages = {1--10},
  doi = {http://doi.acm.org/10.1145/587051.587053},
  isbn = {1-58113-514-9},
  location = {Charleston, SC},
}

@INPROCEEDINGS{zeller99:yesterday,
  author = {Andreas Zeller},
  title = {Yesterday, my program worked. {Today}, it does not. {Why}?},
  booktitle = {Proceedings of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year = {1999},
  pages = {253--267},
  doi = {http://doi.acm.org/10.1145/318773.318946},
  isbn = {3-540-66538-2},
  location = {Toulouse, France},
}

@INPROCEEDINGS{zhao03:data,
  author = {Jianjun Zhao},
  title = {Data-Flow-Based Unit Testing of Aspect-Oriented Programs},
  booktitle = {Proceedings of the IEEE International Computer Software and Applications Conference (COMPSAC)},
  year = {2003},
  pages = {188-197},
  month = {Nov.},
}

@INPROCEEDINGS{zhao02:tool,
  author = {Jianjun Zhao},
  title = {Tool Support for Unit Testing of Aspect-Oriented Software},
  booktitle = {Proceedings of OOPSLA Workshop on Tools for Aspect-Oriented Software Development},
  year = {2002},
  month = {Nov.},
}

@INPROCEEDINGS{zhao03:pipa,
  author = {Jianjun Zhao and Martin Rinard},
  title = {Pipa: A Behavioral Interface Specification Language for {A}spect{J}},
  booktitle = {Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE)},
  year = {2003},
  pages = {150-165},
  month = {April},
}

@ARTICLE{zhu97:software,
  author = {Hong Zhu and Patrick A. V. Hall and John H. R. May},
  title = {Software unit test coverage and adequacy},
  journal = {ACM Computing Surverys},
  year = {1997},
  volume = {29},
  pages = {366--427},
  number = {4},
}

@INPROCEEDINGS{zimmermann04:mining,
  author = {Thomas Zimmermann and Peter WeiBgerber and Stephan Diehl and Andreas Zeller},
  title = {Mining Version Histories to Guide Software Changes},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2004},
  location = {Edinburgh, UK},
}

@INPROCEEDINGS{zimmermann01:visualizing,
  author = {Thomas Zimmermann and Andreas Zeller},
  title = {Visualizing Memory Graphs},
  booktitle = {the Dagstuhl Seminar on Software Visualization},
  year = {2001},
  volume = {2269},
  series = {LNCS},
  pages = {191--204},
}

@INPROCEEDINGS{ziv97:constructing,
  author = {Hadar Ziv and Debra J. Richardson},
  title = {Constructing Bayesian-network models of software testing and maintenance uncertainties},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {1997},
  pages = {100--109},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8013-X},
}

@UNPUBLISHED{AsmL,
  author = {{Foundations of Software Engineering at Microsoft Research}},
  title = {Abstract state machine Language},
  note = {\newurl{http://research.microsoft.com/fse/AsmL}},
}


@UNPUBLISHED{AsmLT,
  author = {{Foundations of Software Engineering at Microsoft Research}},
  title = {The {AsmL} Test Generator tool},
  note = {\newurl{http://research.microsoft.com/fse/asml/doc/AsmLTester.html}},
}

@UNPUBLISHED{gnu02:diff,
  author = {{GNU}},
  title = {{GNU} Diffutils},
  note = {\newurl{http://www.gnu.org/software/diffutils/}},
  year = {2002},
}

@MISC{daisy-cav04,
  author = {Shaz Qadeer},
  title = {{Daisy File System}},
  note = {Joint CAV/ISSTA Special Event on Specification, Verification, and Testing of Concurrent Software. 2004},
  url = {\newurl{http://research.microsoft.com/~qadeer/cav-issta.htm}},
  key = {daisy},
}

@MISC{sun03:java2,
  author = {{S}un {M}icrosystems},
  title = {{J}ava 2 {P}latform, {S}tandard {E}dition, v 1.4.2, {API} {S}pecification},
  howpublished = {Online documentation},
  month = {Nov.},
  year = {2003},
  note = {\newurl{http://java.sun.com/j2se/1.4.2/docs/api/}},
}

@MISC{javadiff-website,
  title = {{javadiff-website}},
  year = {2010},
  note = {\newurl{http://www.incava.org/projects/java/java-diff/}},
  key = {javadiff},
}



@MISC{jml06:website,
  title = {{JML website}},
  year = {2006},
  note = {\newurl{http://www.jmlspecs.org/}},
  key = {jmlspecs},
}

@MISC{abbot04:abbot,
  title = {Abbot 0.13.1},
  year = {2004},
  note = {\newurl{http://abbot.sourceforge.net/}},
  key = {Abbot},
}

@MISC{agitar05:agitator,
  title = {Agitar {A}gitatior 3.0},
  year = {2005},
  note = {\newurl{http://www.agitar.com/}},
  key = {Agitar},
}

@MISC{aspectj04:aspectj,
  title = {{A}spect{J} compiler 1.2},
  month = {May},
  year = {2004},
  note = {\newurl{http://eclipse.org/aspectj/}},
}

@MISC{dbunit04:dbunit,
  title = {Db{U}nit 2.1},
  year = {2004},
  note = {\newurl{http://dbunit.sourceforge.net/}},
  key = {DbUnit},
}

@MISC{msvs04:microsoft,
  title = {Microsoft {V}isual {S}tudio {D}eveloper {C}enter},
  year = {2004},
  note = {\newurl{http://msdn.microsoft.com/vstudio/}},
  key = {Microsoft {V}isual {S}tudio {D}eveloper {C}enter},
}

@MISC{parasoft04unused:jtest,
   title = {Parasoft {J}test manuals version 5.1},
   howpublished = {Online manual},
   month = {July},
   year = {2004},
   note = {\newurl{http://www.parasoft.com/}},
   key = {Parasoft},
}

@MISC{hansel03,
  title = {Hansel 1.0},
  year = {2003},
  note = {\newurl{http://hansel.sourceforge.net/}},
  key = {Hansel 1.0},
  keywords = {testing},
}

@MISC{jcoverage03:jcoverage,
  title = {JCoverage 1.0.5},
  year = {2003},
  note = {\newurl{http://jcoverage.com/}},
  key = {JCoverage},
}

@MISC{parasoft03:jtest,
  title = {Parasoft {J}test manuals version 4.5},
  howpublished = {Online manual},
  month = {April},
  year = {2003},
  note = {\newurl{http://www.parasoft.com/}},
  key = {Parasoft},
}

@MISC{quilt03:quilt,
  title = {Quilt 0.6a},
  month = {October},
  year = {2003},
  note = {\newurl{http://quilt.sourceforge.net/}},
  key = {Quilt},
}

@MISC{robot03:robot,
  title = {{IBM} {R}ational {R}obot v2003},
  year = {2003},
  note = {\newurl{http://www-306.ibm.com/software/awdtools/tester/robot/}},
  key = {Robot},
}

@TECHREPORT{nist02:economic,
  title = {National {I}nstitute of {S}tandards and {T}echnology. {T}he
     economic impacts of inadequate infrastructure for software testing},
  year = {2002},
  type = {Planning Report},
  number = {02-3},
  month = {May},
  key = {NIST},
}

@MANUAL{sun01:java2,
  title = {{J}ava 2 {P}latform, {S}tandard {E}dition, v1.3.1 {API} {S}pecification},
  organization = {{S}un {M}icrosystems},
  year = {2001},
  note = {\newurl{http://java.sun.com/j2se/1.3/docs/api/}},
}


@article{hamlet87:probable,
 author = {Richard G. Hamlet},
 title = {Probable correctness theory},
 journal = {Information Processing Letters},
 volume = {25},
 number = {1},
 year = {1987},
 pages = {17--25},
 }

@phdthesis{khurshid03:PhD,
   author = {Sarfraz Khurshid},
   title = {Generating Structurally Complex Tests from Declarative Constraints},
   school = {MIT Department of Electrical Engineering and Computer Science},
   type = {{Ph.D.}},
   address = {Cambridge, MA},
   month = {December},
   year = {2003}
}

@phdthesis{marinov05:PhD,
   author = {Darko Marinov},
   title = {Automatic Testing of Software with Structurally Complex Inputs},
   school = {MIT Department of Electrical Engineering and Computer Science},
   type = {{Ph.D.}},
   address = {Cambridge, MA},
   month = {February},
   year = {2005}
}


@TECHREPORT{marinov03:evaluation,
  author = {Darko Marinov and Alexandr Andoni and Dumitru Daniliuc and Sarfraz Khurshid and Martin Rinard},
  title = {An evaluation of exhaustive testing for data structures},
  institution = {MIT CSAIL},
  month = {September},
  year = {2003},
  type = {Technical Report},
  number = {MIT-LCS-TR-921},
  address = {Cambridge, MA},
}

@INPROCEEDINGS{netisopakul02-1:data,
  author = {Ponrudee Netisopakul and Lee J. White and John Morris and Daniel Hoffman},
  title = {Data coverage testing of programs for container classes},
  booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
  year = {2002},
  pages = {465--472},
  month = {November},
}

@INPROCEEDINGS{netisopakul02-2:data,
  author = {Ponrudee Netisopakul and Lee J. White and John Morris},
  title = {Data coverage testing},
  booktitle = {Proceedings of the Asia-Pacific Software Engineering Conference (APSEC)},
  year = {2002},
  pages = {465},
  month = {December},
}

@inproceedings{flanagan01:houdini,
 author = {Cormac Flanagan and K. Rustan M. Leino},
 title = {Houdini, an Annotation Assistant for {ESC}/{Java}},
 booktitle = {Proceedings of the International Symposium of Formal Methods Europe (FME)},
 year = {2001},
 pages = {500--517},
 address = {London, UK},
 }

@INPROCEEDINGS{cobleigh05:learning,
  author = {Jamieson M. Cobleigh and Dimitra Giannakopoulou and Corina S. Pasareanu},
  title = {Learning Assumptions for Compositional Verification},
  booktitle = {Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year = {2003},
  pages = {331--346},
  month = {April},
  location = {Warsaw, Poland},
}

@inproceedings{giannakopoulou02:assumption,
 author = {Dimitra Giannakopoulou and Corina S. Pasareanu and Howard Barringer},
 title = {Assumption Generation for Software Component Verification},
 booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
 year = {2002},
 pages = {3--12},
 address = {Washington, DC},
 }

@inproceedings{naumovich00:toward,
 author = {Gleb Naumovich and Phyllis G. Frankl},
 title = {Toward Synergy of Finite State Verification and Testing},
 booktitle = {Proceedings of the International Workshop on Automated Program Analysis, Testing and Verification},
 year = {2000},
 month = {June},
 pages = {89--94},
 }

@inproceedings{pettis90:profile,
 author = {Karl Pettis and Robert C. Hansen},
 title = {Profile guided code positioning},
 booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 year = {1990},
 pages = {16--27},
 location = {White Plains, New York},
 }


@inproceedings{groce02:adaptive,
 author = {Alex Groce and Doron Peled and Mihalis Yannakakis},
 title = {Adaptive Model Checking},
 booktitle = {Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
 year = {2002},
 month = {April},
 pages = {357--370},
 location = {Grenoble, France},
 }

@inproceedings{peled99:black,
 author = {Doron Peled and Moshe Y. Vardi and Mihalis Yannakakis},
 title = {Black Box Checking},
 booktitle = {Proceedings of the International Conference on Formal Description Techniques (FORTE) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV)},
 year = {1999},
 month = {October},
 pages = {225--240},
 location = {Beijing, China},
 }


@inproceedings{budd80:theoretical,
 author = {Timothy A. Budd and Richard A. DeMillo and Richard J. Lipton and Frederick G. Sayward},
 title = {Theoretical and empirical studies on using program mutation to test the functional correctness of programs},
 booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
 year = {1980},
 pages = {220--233},
 location = {Las Vegas, Nevada},
 }

@inproceedings{heimdahl02:deviation,
 author = {Mats P. E. Heimdahl and Yunja Choi and Mike Whalen},
 title = {Deviation Analysis Through Model Checking},
 booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
 year = {2002},
 isbn = {0-7695-1736-6},
 pages = {37},
 publisher = {IEEE Computer Society},
 }

@inproceedings{way98:using,
    author = {Tom Way and Lori Pollock},
    title = {Using Path Spectra to Direct Function Cloning},
    booktitle = {Proceedings of the Workshop on Profile and Feedback-directed Compilation (PACT)},
    month = {October},
    year = {1998},
    pages = {40--47},
}

@article{621514,
 author = {Thomas Ball and James R. Larus},
 title = {Using Paths to Measure, Explain, and Enhance Program Behavior},
 journal = {Computer},
 volume = {33},
 number = {7},
 year = {2000},
 issn = {0018-9162},
 pages = {57--65},
 doi = {http://dx.doi.org/10.1109/2.869371},
 publisher = {IEEE Computer Society Press},
 }

@inproceedings{381509,
 author = {William Dickinson and David Leon and Andy Podgurski},
 title = {Finding failures by cluster analysis of execution profiles},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2001},
 isbn = {0-7695-1050-7},
 pages = {339--348},
 location = {Toronto, Ontario, Canada},
 publisher = {IEEE Computer Society},
 }

@inproceedings{503243,
 author = {William Dickinson and David Leon and Andy Podgurski},
 title = {Pursuing failure: the distribution of program failures in a profile space},
 booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE))},
 year = {2001},
 isbn = {1-58113-390-1},
 pages = {246--255},
 location = {Vienna, Austria},
 doi = {http://doi.acm.org/10.1145/503209.503243},
 publisher = {ACM Press},
 }

@inproceedings{337195,
 author = {David Leon and Andy Podgurski and Lee J. White},
 title = {Multivariate visualization in observation-based testing},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2000},
 isbn = {1-58113-206-9},
 pages = {116--125},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/337180.337195},
 publisher = {ACM Press},
 }

@inproceedings{steven00:jrapture,
 author = {John Steven and Pravir Chandra and Bob Fleck and Andy Podgurski},
 title = {jRapture: A Capture/Replay tool for observation-based testing},
 booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2000},
 pages = {158--167},
 location = {Portland, Oregon},
 }

@article{mccabe76:complexity,
 author = {Thomas J. McCabe},
 title = {A complexity measure},
 journal = {IEEE Transaction on Software Engineering},
 volume = {2},
 number = {4},
 year = {1976},
 month={December},
 pages = {308--320},
 }

@inproceedings{leung89:insight,
 author = {H. K. N. Leung and L. White},
 title = {Insights into regression testing},
 booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
 year = {1989},
 pages = {60--69},
}

@inproceedings{leung90:study,
 author = {H. K. N. Leung and L. White},
 title = {A study of integration testing and software regression at the integration level},
 booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
 year = {1990},
 pages = {290--300},
}

@inproceedings{leung92:firewall,
 author = {L. White and H. K. N. Leung},
 title = {A firewall concept for both control-flow and data-flow in regression integration testing},
 booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
 year = {1992},
 pages = {262--271},
}

@inproceedings{winstead03:towards,
 author = {Joel Winstead and David Evans},
 title = {Towards Differential Program Analysis},
 booktitle = {Proceedings of the ICSE Workshop on Dynamic Analysis (WODA)},
 year = {2003},
 month = {May},
 location = {Portland, Oregon},
 }

@inproceedings{chen94:testtube,
 author = {Yih-Farn Chen and David S. Rosenblum and Kiem-Phong Vo},
 title = {TestTube: a system for selective regression testing},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {1994},
 pages = {211--220},
 }

@MISC{wilde03:recon,
  author =       "Norman Wilde",
  title =        "The RECON Software Reconnaissance tool",
  year =         "2003",
  month =        "Feburary",
  note = {\newurl{http://www.cs.uwf.edu/~recon/}},
  source =       "http://www.cs.uwf.edu/~recon/",
}

@article{wilde95:software,
 author = {Norman Wilde and Michael C. Scully},
 title = {Software reconnaissance: mapping program features to code},
 journal = {Journal of Software Maintenance},
 volume = {7},
 number = {1},
 year = {1995},
 pages = {49--62},
 publisher = {John Wiley \& Sons, Inc.},
 }

@inproceedings{perkins04:efficient,
 author = {Jeff H. Perkins and Michael D. Ernst},
 title = {Efficient incremental algorithms for dynamic detection of likely invariants},
 booktitle = {Proceedings of the International Symposium on Foundations of Software Engineering (FSE)},
 year = {2004},
 pages = {23--32},
 location = {Newport Beach, CA},
 }

@misc{daikon04:daikon,
  key = {Daikon},
  title = {Publications using the {D}aikon invariant detector tool},
  note = {\newurl{http://www.pag.csail.mit.edu/daikon/pubs-using/}},
  year = {2004},
}

@TECHREPORT{leino00:escjava,
  AUTHOR =       "K. Rustan M. Leino and Greg Nelson and James B. Saxe",
  TITLE =        "{ESC}/{J}ava user's manual",
  INSTITUTION =  "Compaq Systems Research Center",
  YEAR =         "2000",
  type =         "Technical Report",
  number =       "2000-002",
  address =      "Palo Alto, CA",
  month =        "October",
}

@TECHREPORT{nimmer02:automatic,
  AUTHOR =       "Jeremy W. Nimmer",
  TITLE =        "Automatic Generation and Checking of Program Specifications",
  INSTITUTION =  "MIT Laboratory for Computer Science",
  YEAR =         "2002",
  type =         "Technical Report",
  number =       "852",
  address =      "Cambridge, MA",
  month =        "June",
}

@article{rothermel01:test,
 author = {Gregg Rothermel and Roland Untch and Chengyun Chu and Mary Jean Harrold},
 title = {Prioritizing Test Cases For Regression Testing},
 journal = {IEEE Transactions on Software Engineering},
 volume = {27},
 number = {10},
 year = {2001},
 pages = {929--948},
 }

@inproceedings{amla92:using,
 author = {Nina Amla and Paul Ammann},
 title = {Using {Z} specifications in category partition testing},
 booktitle = {Proceedings of the Conference on Computer Assurance (COMPASS)},
 month = {June},
 year = {1992},
 pages = {3--10},
 location = {Gaithersburg, MD},
}

@inproceedings{ammann94:using,
 author = {Paul Ammann and Jeff Offutt},
 title = {Using Formal Methods To Derive Test Frames in Category-Partition Testing },
 booktitle = {Proceedings of the Conference on Computer Assurance (COMPASS)},
 month = {June},
 year = {1994},
 pages = {69--80},
 location = {Gaithersburg, MD},
}

@book{hetzel84:complete,
 author = {Bill Hetzel},
 title = {The complete guide to software testing (2nd ed.)},
 year = {1984},
 publisher = {Collins},
}


@inproceedings{jackson01:micromodularity,
 author = {Daniel Jackson and Ilya Shlyakhter and Manu Sridharan},
 title = {A micromodularity mechanism},
 booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
 year = {2001},
 pages = {62--73},
 location = {Vienna, Austria},
 }

@inproceedings{jackson00:alcoa,
 author = {Daniel Jackson and Ian Schechter and Hya Shlyahter},
 title = {Alcoa: the alloy constraint analyzer},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2000},
 pages = {730--733},
 location = {Limerick, Ireland},
 }


@book{gries87:science,
 author = {David Gries},
 title = {The Science of Programming},
 year = {1987},
 address = {Secaucus, NJ},
 }

@inproceedings{holzmann97:state,
   author = {Gerard Holzmann},
   title = {State Compression in {Spin}},
   year = {1997},
   booktitle = {Proceedings of the SPIN Workshop on Software Model Checking (SPIN)},
   month = {April},
   address = {Twente University, The Netherlands},
}

@inproceedings{lerda01:addressing,
   author = {Flavio Lerda and Willem Visser},
   title = {Addressing Dynamic Issues of Program Model Checking},
   year = {2001},
   booktitle = {Proceedings of the SPIN Workshop on Software Model Checking (SPIN)},
   month = {May},
}

@inproceedings{deline01:enforcing,
 author = {Robert DeLine and Manuel Fahndrich},
 title = {Enforcing high-level protocols in low-level software},
 booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 year = {2001},
 pages = {59--69},
 location = {Snowbird, Utah},
 }

@inproceedings{das02:esp,
 author = {Manuvir Das and Sorin Lerner and Mark Seigle},
 title = {{ESP}: path-sensitive program verification in polynomial time},
 booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 year = {2002},
 pages = {57--68},
 location = {Berlin, Germany},
 }

@inproceedings{butkevich00:compiler,
 author = {Sergey Butkevich and Marco Renedo and Gerald Baumgartner and Michal Young},
 title = {Compiler and tool support for debugging object protocols},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
 year = {2000},
 pages = {50--59},
 location = {San Diego, California},
 }

@article{chays04:agenda,
  author    = {David Chays and
               Yuetang Deng and
               Phyllis G. Frankl and
               Saikat Dan and
               Filippos I. Vokolos and
               Elaine J. Weyuker},
  title     = {An {AGENDA} for testing relational database applications},
  journal   = {Software Testing, Verification and Reliability},
  volume    = {14},
  number    = {1},
  year      = {2004},
  pages     = {17-44},
}

@inproceedings{memon99:using,
 author = {Atif M. Memon and Martha E. Pollack and Mary Lou Soffa},
 title = {Using a goal-driven approach to generate test cases for GUIs},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {1999},
 pages = {257--266},
 location = {Los Angeles, California},
 }

@inproceedings{dalal99:model,
 author = {S. R. Dalal and A. Jain and N. Karunanithi and J. M. Leaton and C. M. Lott and G. C. Patton and B. M. Horowitz},
 title = {Model-based testing in practice},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {1999},
 pages = {285--294},
 location = {Los Angeles, California},
}

@inproceedings{bershad99:using,
 author = {Emin Gun Sirer and Brian N. Bershad},
 title = {Using production grammars in software testing},
 booktitle = {Proceedings of the Conference on Domain-Specific Languages (DSL)},
 year = {1999},
 pages = {1--13},
 location = {Austin, Texas},
 }


@inproceedings{godefroid02:exploring,
 author = {Patrice Godefroid and Sarfraz Khurshid},
 title = {Exploring Very Large State Spaces Using Genetic Algorithms},
 booktitle = {Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
 year = {2002},
 pages = {266--280},
 address = {London, UK},
 }

@inproceedings{groce02:model,
 author = {Alex Groce and Willem Visser},
 title = {Model checking {J}ava programs using structural heuristics},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2002},
 pages = {12--21},
 location = {Roma, Italy},
}

@inproceedings{tan04:heuristic,
 author = {Jianbin Tan and George S. Avrunin and Lori A. Clarke and Shlomo Zilberstein and Stefan Leue},
 title = {Heuristic-guided counterexample search in {FLAVERS}},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
 year = {2004},
 pages = {201--210},
 location = {Newport Beach, CA},
 }

@inproceedings{memon04:skoll,
 author = {Atif M. Memon and Adam Porter and Cemal Yilmaz and Adithya Nagarajan and Douglas C. Schmidt and Bala Natarajan},
 title = {Skoll: Distributed Continuous Quality Assurance},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2004},
 pages = {459--468},
}

@book{russell95:artificial,
 author = {Stuart Russell and Peter Norvig},
 title = {Artificial Intelligence: A Modern Approach},
 year = {1995},
 publisher = {Prentice-Hall},
 address = {Englewood Cliffs, NJ},
 }

@inproceedings{geppert04:towards,
  author    = {Birgit Geppert and
               Jenny Li and
               Frank R{\"o}{\ss}ler and
               David M. Weiss},
  title     = {Towards Generating Acceptance Tests for Product Lines},
  booktitle = {Proceedings of the International Conference on Software Reuse (ICSR)},
  year      = {2004},
  pages     = {35-48},
  location  = {Madrid, Spain},
  month       = {July},
}

@book{weiss99:software,
 author = {David M/ Weiss and Robert C.T. Lai},
 title = {Software Product-Line Engineering - A Family-Based Software Development Process},
 year = {1999},
 publisher = {Addison Wesley},
 }

@inproceedings{muccini04:towards,
  author    = {Henry Muccini and Andr\&\#233; van der Hoek },
  title     = {Towards Testing Product Line Architectures},
  booktitle = {Proceedings of the International Workshop on Testing and Analysis of Component Based Systems (TACoS)},
  year      = {2003},
  location  = {Warsaw, Poland},
  month       = {April},
}

@TECHREPORT{mcgregor01:testing,
  author = {John D. McGregor},
  title = {Testing a Software Product Line},
  institution = {Software Engineering Institute, Carnegie Mellon University},
  year = {2001},
  month = {December},
  type = {Technical Report},
  number = {CMU/SEI-2001-TR-022},
  address = {Fort Collins, Colorado},
}

@article{binder94:object,
 author = {Robert V. Binder},
 title = {Object-Oriented Software Testing},
 journal = {Communications of ACM},
 volume = {37},
 number = {9},
 year = {1994},
 pages = {28--29},
 }

@inproceedings{young03:symbiosis,
  author    = {Michal Young},
  title     = {Symbiosis of static analysis and program testing},
  booktitle = {Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE)},
  year      = {2003},
  month = {April},
  pages     = {1--5},
}

@inproceedings{ernst03:static,
   author = {Michael D. Ernst},
   title = {Static and dynamic analysis: Synergy and duality},
   booktitle = {Proceedings of the ICSE Workshop on Dynamic Analysis (WODA)},
   pages = {24--27},
   month = {May},
   year = {2003},
}

@inproceedings{csallner05:check,
   author = {Christoph Csallner and Yannis Smaragdakis},
   title = {{Check} 'n' {Crash}: Combining static checking and testing},
   booktitle = {Proceedings of teh International Conference on Software Engineering (ICSE)},
   pages = {422--431},
   month = {May},
   year = {2005},
}

@InProceedings{orso05:selective,
  author =   {Alessandro Orso and Bryan Kennedy},
  title =    {{Selective Capture and Replay of Program Executions}},
  booktitle =    {Proceedings of the International ICSE Workshop on Dynamic Analysis (WODA)},
  address =      {St. Louis, MO},
  month =    {May},
  year =     {2005},
  note =     {\newurl{http://www.csd.uwo.ca/woda2005/proceedings.html}},
}

@inproceedings{paradkar04:plannable,
  author    = {Amit M. Paradkar},
  title     = {Plannable Test Selection Criteria for {FSMs} Extracted From
               Operational Specifications.},
  booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
  year      = {2004},
  month     = {November},
  pages     = {173-184},
  location  = {Saint-Malo, France},
}

@INPROCEEDINGS{tillmann05:parameterized,
  author = {Nikolai Tillmann and Wolfram Schulte},
  title = {Parameterized Unit Tests},
  booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
  year = {2005},
  location = {Lisbon, Portugal},
}

@ARTICLE{potter04:software,
  author = {Bruce Potter and Gary McGraw},
  title = {Software Security Testing},
  journal = {IEEE Security and Privacy},
  year = {2004},
  volume = {2},
  pages = {81--85},
  number = {5},
}

@article{weyuker00:experience,
 author = {Elaine J. Weyuker and Filippos I. Vokolos},
 title = {Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study},
 journal = {IEEE Transactions on Software Engineering},
 volume = {26},
 number = {12},
 year = {2000},
 pages = {1147--1156},
 }

@inproceedings{vokolos98:performance,
 author = {Filippos I. Vokolos and Elaine J. Weyuker},
 title = {Performance testing of software systems},
 booktitle = {Proceedings of the International Workshop on Software and Performance (WOSP)},
 year = {1998},
 pages = {80--87},
 location = {Santa Fe, New Mexico},
 }

@InProceedings{halfond05:combining,
  author =   {William G.J. Halfond and Alessandro Orso},
  title =    {{Combining Static Analysis and Runtime Monitoring to Counter SQL-Injection Attacks}},
  booktitle =    {Proceedings of the International ICSE Workshop on Dynamic Analysis (WODA)},
  address =      {St. Louis, MO},
  month =    {May},
  year =     {2005},
  note =     {\newurl{http://www.csd.uwo.ca/woda2005/proceedings.html}},
}

@inproceedings{huang03:web,
 author = {Yao-Wen Huang and Shih-Kun Huang and Tsung-Po Lin and Chung-Hung Tsai},
 title = {Web application security assessment by fault injection and behavior monitoring},
 booktitle = {Proceedings of the International Conference on World Wide Web (WWW)},
 year = {2003},
 pages = {148--159},
 location = {Budapest, Hungary},
 }

@inproceedings{huang04:securing,
 author = {Yao-Wen Huang and Fang Yu and Christian Hang and Chung-Hung Tsai and Der-Tsai Lee and Sy-Yen Kuo},
 title = {Securing web application code by static analysis and runtime protection},
 booktitle = {Proceedings of the International Conference on World Wide Web (WWW)},
 year = {2004},
 pages = {40--52},
 location = {New York, NY},
 }

@article{avritzer96:deriving,
 author = {Alberto Avritzer and Elaine J. Weyuker},
 title = {Deriving workloads for performance testing},
 journal = {Software - Practice and Experience},
 volume = {26},
 number = {6},
 year = {1996},
 pages = {613--633},
 }

@inproceedings{kapfhammer03:family,
 author = {Gregory M. Kapfhammer and Mary Lou Soffa},
 title = {A family of test adequacy criteria for database-driven applications},
 booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
 year = {2003},
 pages = {98--107},
 location = {Helsinki, Finland},
 }

@inproceedings{chays00:framework,
 author = {David Chays and Saikat Dan and Phyllis G. Frankl and Filippos I. Vokolos and Elaine J. Weber},
 title = {A framework for testing database applications},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2000},
 pages = {147--157},
 location = {Portland, Oregon},
 }


@BOOK{hoglund04:exploiting,
  author = {Greg Hoglund and Gary McGraw},
  title = {Exploiting Software},
  publisher = {Addison-Wesley},
  year = {2004},
}


@BOOK{whittaker03:how,
  author = {James A. Whittaker and Herbert H. Thompson},
  title = {How to Break Software Security},
  publisher = {Addison-Wesley},
  year = {2003},
}

@mastersthesis{zaytsev04:combinatorial,
    author = {Vadim V.~Zaytsev},
    title = {Combinatorial Test Set Generation: Concepts, Implementation, Case Study},
    school = {Universiteit Twente},
    year = {2004},
    address = {Enschede, The Netherlands},
    month = {June},
}

@inproceedings{gargantini99:using,
 author = {Angelo Gargantini and Constance Heitmeyer},
 title = {Using model checking to generate tests from requirements specifications},
 booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
 year = {1999},
 pages = {146--162},
 location = {Toulouse, France},
}


@article{weyuker94:automatically,
 author = {Elaine Weyuker and Tarak Goradia and Ashutosh Singh},
 title = {Automatically Generating Test Data from a Boolean Specification},
 journal = {IEEE Transactions on Software Engineering},
 volume = {20},
 number = {5},
 year = {1994},
 pages = {353--363},
 }


@inproceedings{ammann98:using,
 author = {Paul E. Ammann and Paul E. Black and William Majurski},
 title = {Using Model Checking to Generate Tests from Specifications},
 booktitle = {Proceedings of the IEEE International Conference on Formal Engineering Methods (ICFEM)},
 year = {1998},
 pages = {46},
 }


@inproceedings{engels97:test,
 author = {Andre Engels and Loe M. G. Feijs and Sjouke Mauw},
 title = {Test Generation for Intelligent Networks Using Model Checking},
 booktitle = {Proceedings of the International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS)},
 year = {1997},
 pages = {384--398},
}

@INPROCEEDINGS{woit93:specifying,
 author = {Denise M. Woit},
 title = {Specifying operational profiles for modules},
   booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1993},
  pages = {2--10},
  location = {Cambridge, Massachusetts},
}

@phdthesis{woit94:operational,
 author = {Denise M. Woit},
 title = {Operational profile specification, test case generation, and reliability estimation for modules},
 school = {Queen's University School of Computing},
 year = {1994},
  type = {{Ph.D.}},
  address = {Kingston, Ontario, Canada},
  month = {February},
}

@inproceedings{orso02:gamma,
  author =   {Alessandro Orso and Donglin Liang and Mary Jean Harrold and Richard Lipton},
  title =    {Gamma System: Continuous Evolution of Software after Deployment},
  booktitle =    {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  pages =    {65--69},
  address =      {Rome, Italy},
  month =    {July},
  year =     {2002},
}

@inproceedings{orso03:leveraging,
  author =       {Alessandro Orso and Taweesup Apiwattanapong and Mary Jean Harrold},
  title =        {Leveraging field data for impact analysis and regression testing},
  booktitle =    {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
  pages =        {128--137},
  address =      {Helsinki, Finland},
  month =        {September},
  year =         {2003},
}

@inproceedings{carver04:general,
  author    = {Richard H. Carver and
               Yu Lei},
  title     = {A General Model for Reachability Testing of Concurrent Programs.},
  booktitle = {Proceedings of the International Conference on Formal Engineering Methods (ICFEM)},
  month = {November},
  location = {Seattle, WA},
  year      = {2004},
  pages     = {76-98},
}


@INPROCEEDINGS{goldsmith04:light,
  author = {Simon Goldsmith and Robert O'Callahan and Alex Aiken},
  title = {Relational Queries Over Program Traces},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on
     Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
  month = {October},
  year = {2005},
  location = {San Diego, California},
}

@inproceedings{catano03:chase,
 author = {N{\'e}stor Cata{\~n}o and Marieke Huisman},
 title = {{CHASE}: A Static Checker for {JML}'s Assignable Clause},
 booktitle = {Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)},
 year = {2003},
 pages = {26--40},
}

@inproceedings{ma02:interclass,
 author = {Yu-Seung Ma and Yong-Rae Kwon and Jeff Offutt},
 title = {Inter-Class Mutation Operators for {Java}},
 booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
 year = {2002},
 pages = {352--363},
 location = {Annapolis, Maryland},
 }

@inproceedings{ryder01:change,
 author = {Barbara G. Ryder and Frank Tip},
 title = {Change impact analysis for object-oriented programs},
 booktitle = {Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)},
 year = {2001},
 pages = {46--53},
 location = {Snowbird, Utah},
}


@BOOK{heineman00:component,
  title = {Component Based Software Engineering: Putting the Pieces Together},
  publisher = {Addison-Wesley},
  year = {2001},
  author = {George T. Heineman and William T. Councill},
}

@BOOK{alonso02:web,
  title = {Web Services Concepts, Architectures and Applications Series: Data-Centric Systems and Applications},
  publisher = {Addison-Wesley Professional,},
  year = {2002},
  author = {G. Alonso and F. Casati and H. Kuno and V. Machiraju.},
}

@TechReport{detlefs03:simplify,
  AUTHOR =       "David Detlefs and Greg Nelson and James B. Saxe",
  TITLE =        "Simplify: a theorem prover for program checking",
  institution =  {HP Laboratories},
  YEAR =         {2003},
  month =        {July},
  number =       {HPL-2003-148},
  address =      {Palo Alto, CA}
}

@inproceedings{godefroid05:dart,
 author = {Patrice Godefroid and Nils Klarlund and Koushik Sen},
 title = {DART: directed automated random testing},
 journal = {SIGPLAN Notices},
 booktitle = {Procedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 volume = {40},
 number = {6},
 year = {2005},
 issn = {0362-1340},
 pages = {213--223},
 doi = {http://doi.acm.org/10.1145/1064978.1065036},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@article{morell90:theory,
 author = {L. J. Morell},
 title = {A Theory of Fault-Based Testing},
 journal = {IEEE Transactions on Software Engineering},
 volume = {16},
 number = {8},
 year = {1990},
 issn = {0098-5589},
 pages = {844--857},
 }

@inproceedings{calder97:value,
 author = {Brad Calder and Peter Feller and Alan Eustace},
 title = {Value profiling},
 booktitle = {Proceedings of the ACM/IEEE International Symposium on Microarchitecture (MICRO)},
 year = {1997},
 pages = {259--269},
 location = {North Carolina},
 }

 @article{demillo78:hints,
 author = {Richard A. DeMillo and Richard J. Lipton and Frederick G. Sayward},
 title = {Hints on Test Data Selection: Help for the Practicing Programmer},
 journal = {IEEE Computer},
 volume = {11},
 number = {4},
 year = {1978},
 month = {April},
 pages = {34--41},
 }

@INPROCEEDINGS{xie05:automatic,
    author = {Tao Xie and Jianjun Zhao and Darko Marinov and David Notkin},
    title = {Automated Test Generation for {AspectJ} Program},
    booktitle = {Proceedings of the AOSD 05 Workshop on Testing Aspect-Oriented Programs (WTAOP 05)},
    month = {March},
    year = {2005},
    location = {Chicago, Illinois},
    url = {http://www.cs.washington.edu/homes/taoxie/publications/aspectjtestgen.pdf},
}

@TECHREPORT{xie04:detecting,
    author = {Tao Xie and Jianjun Zhao and Darko Marinov and David Notkin},
    title = {Detecting Redundant Unit Tests for {AspectJ} Programs},
    institution = {University of Washington Department of Computer Science and Engineering },
    year = {2004},
    type = {Technical Report},
    number = {UW-CSE-04-10-03},
    address = {Seattle, WA},
    month = {October},
    url = {http://www.cs.washington.edu/homes/taoxie/publications/UW-CSE-04-10-03.pdf},
}

@TECHREPORT{xie04:automatically,
    author = {Tao Xie and David Notkin},
    title = {Automatically Identifying Special and Common Unit Tests Based on Inferred Statistical Algebraic Abstractions},
    institution = {University of Washington Department of Computer Science and Engineering },
    year = {2004},
    type = {Technical Report},
    number = {UW-CSE-04-08-03},
    address = {Seattle, WA},
    month = {August},
    url = {http://www.cs.washington.edu/homes/taoxie/publications/UW-CSE-04-08-03.pdf},
}


@INPROCEEDINGS{michail05:helping,
    author = {Amir Michail and Tao Xie},
    title = {Helping Users Avoid Bugs in {GUI} Applications},
    booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
    month = {May},
    year = {2005},
    pages = {107--116},
    location = {St. Louis, Missouri},
    url = {http://www.cs.washington.edu/homes/taoxie/publications/icse05.pdf},
}

@inproceedings{cadar05:execution,
  author    = {Cristian Cadar and Dawson R. Engler},
  title     = {Execution Generated Test Cases: How to Make Systems Code Crash Itself},
  booktitle = {Proceedings of the International SPIN Workshop on Model Checking Software (SPIN)},
  year      = {2005},
  pages     = {2-23},
  location = {San Francisco, CA},
  month = {August},
}

@inproceedings{sen05:cute,
  author    = {Koushik Sen and Darko Marinov and Gul Agha},
  title     = {{CUTE}: {A} Concolic Unit Testing Engine for {C}},
  booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
  year      = {2005},
  pages     = {263--272},
  location = {Lisbon, Portugal},
  month = {September},
}

@article{daikon,
   author = {M. Ernst and J. Cockrell and W. Griswold and D. Notkin},
   title = {Dynamically discovering likely program invariants to support program evolution},
   journal = {IEEE Transactions on Software Engineering},
   volume = {27},
   number = {2},
   pages = {1--25},
   year = {2001},
}

@TECHREPORT{venolia05:observed,
  author = {G. Venolia and R. DeLine and T. LaToza},
  title = {Software Development at {Microsoft} Observed},
  institution = {Microsoft Research},
  month = {October},
  year = {2005},
  type = {Technical Report},
  number = {MSR-TR-2005-140},
  address = {Redmond, Washington}
}

@TECHREPORT{tillman05:reloaded,
  author = {Nikolai Tillmann and Wolfram Schulte},
  title = {Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution},
  institution = {Microsoft Research},
  month = {November},
  year = {2005},
  type = {Technical Report},
  number = {MSR-TR-2005-153},
  address = {Redmond, Washington}
}

@inproceedings{rutar04:comparison,
  author    = {Nick Rutar and Christian B. Almazan and Jeffrey S. Foster},
  title     = {{A Comparison of Bug Finding Tools for Java}},
  booktitle = {Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE)},
  year      = {2004},
  pages     = {245--256},
  location = {Bretagne, France},
  month = {November},
}

@inproceedings{wagner05:comparing,
  author    = {Stefan Wagner and Jan Jurjens and Claudia Koller and Peter Trischberger},
  title     = {{Comparing Bug Finding Tools with Reviews and Tests}},
  booktitle = {Proceedings of the IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems (TESTCOM)},
  year      = {2005},
  pages     = {40--55},
  location = {Montreal, Canada},
  month = {May},
}

@inproceedings{zitser04:testing,
 author = {Misha Zitser and Richard Lippmann and Tim Leek},
 title = {Testing static analysis tools using exploitable buffer overflows from open source code},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
 year = {2004},
 pages = {97--106},
 location = {Newport Beach, CA},
}

@inproceedings{visser05:test,
  author    = {Willem Visser and Corina S. Pasareanu and Radek Pel{\'a}nek},
  title     = {Test input generation for red-black trees using abstraction.},
  booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year      = {2005},
  month = {November},
  pages     = {414-417},
  location = {Long Beach, CA},
  }

@inproceedings{visvanathan02:generating,
  author    = {Srinivas Visvanathan and Neelam Gupta},
  title     = {Generating Test Data for Functions with Pointer Inputs.},
  booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
  year      = {2002},
  month = {September},
  pages     = {149--160},
  location = {Edinburgh, Scotland},
}


@inproceedings{frankl00:comparison,
 author = {Phyllis G. Frankl and Yuetang Deng},
 title = {Comparison of delivered reliability of branch, data flow and operational testing: A case study},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2000},
 pages = {124--134},
 location = {Portland, Oregon},
 }

@article{frankl97:alluse,
    author = "Phyllis G. Frankl and Stewart N. Weiss and Cang Hu",
    title = "All-uses versus mutation testing: An experimental comparison of effectiveness",
    journal = "Journal of Systems and Software",
    volume = "38",
    number = "3",
    pages = "235--253",
    year = "1997",
}

@article{duran84:evaluation,
    author = "J. Duran and S. Ntafos",
    title = "An evaluation of random testing",
    journal = "IEEE Transactions on Software Engineering",
    volume = "10",
    number = "4",
    pages = "438--444",
    year = "1984",
}

@article{hamlet90:partition,
    author = "R. G. Hamlet and R. Taylor",
    title = "Partition testing does not inspire confidence",
    journal = "IEEE Transactions on Software Engineering",
    volume = "16",
    number = "12",
    pages = "1402--1411",
    year = "1990",
}

@article{weyuker91:analyzing,
    author = "Elaine J. Weyuker and Bingchiang Jeng",
    title = "Analyzing partition testing strategies",
    journal = "IEEE Transactions on Software Engineering",
    volume = "17",
    number = "7",
    pages = "703--711",
    year = "1991",
}

 @article{newton-method,
 author = {Tjalling J. Ypma},
 title = {Historical development of the Newton-Raphson method},
 journal = {SIAM Rev.},
 volume = {37},
 number = {4},
 year = {1995},
 issn = {0036-1445},
 pages = {531--551},
 doi = {http://dx.doi.org/10.1137/1037125},
 publisher = {Society for Industrial and Applied Mathematics},
 address = {Philadelphia, PA, USA},
 }